--- old/make/defs.make 2014-09-01 13:54:35.211017091 +0200 +++ new/make/defs.make 2014-09-01 13:54:35.081016332 +0200 @@ -29,6 +29,12 @@ include $(SPEC) endif +ifeq ($(LOG_LEVEL),warn) + LOG_INFO := > /dev/null +else + LOG_INFO := +endif + # Directory paths and user name # Unless GAMMADIR is set on the command line, search upward from # the current directory for a parent directory containing "src/share/vm".