--- old/make/ToolsJdk.gmk 2017-10-05 11:55:57.284823590 +0200 +++ new/make/ToolsJdk.gmk 2017-10-05 11:55:57.012827884 +0200 @@ -29,7 +29,7 @@ include JavaCompilation.gmk # Hook to include the corresponding custom file, if present. -$(eval $(call IncludeCustomExtension, , Tools.gmk)) +$(eval $(call IncludeCustomExtension, Tools.gmk)) ################################################################################ # To avoid reevaluating the compilation setup for the tools each time this file