changeset 1277:b2b23ca4140e

Move buildtimes from $BUILD/tmp to make-support, removing the need for the tmp dir.
author ihse
date Fri, 07 Nov 2014 15:42:50 +0100
parents 20cd406508f1
children d985beb10173
files make/Main.gmk make/MakeHelpers.gmk
diffstat 2 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/make/Main.gmk	Fri Nov 07 15:11:10 2014 +0100
+++ b/make/Main.gmk	Fri Nov 07 15:42:50 2014 +0100
@@ -481,7 +481,7 @@
 
 # Remove everything, except the output from configure.
 clean: $(CLEAN_DIR_TARGETS)
-	($(CD) $(OUTPUT_ROOT) && $(RM) -r tmp source_tips build.log* build-trace*.log*)
+	($(CD) $(OUTPUT_ROOT) && $(RM) -r source_tips build.log* build-trace*.log*)
 	$(ECHO) Cleaned all build artifacts.
 
 $(CLEAN_DIR_TARGETS):
--- a/make/MakeHelpers.gmk	Fri Nov 07 15:11:10 2014 +0100
+++ b/make/MakeHelpers.gmk	Fri Nov 07 15:42:50 2014 +0100
@@ -46,7 +46,7 @@
 list_alt_overrides=$(subst =command,,$(subst =environment,,$(list_alt_overrides_with_origins)))
 
 # Store the build times in this directory.
-BUILDTIMESDIR=$(OUTPUT_ROOT)/tmp/buildtimes
+BUILDTIMESDIR=$(OUTPUT_ROOT)/make-support/build-times
 
 # Global targets are possible to run either with or without a SPEC. The prototypical
 # global target is "help".