Bug 1207882 - Use a separate build target for config/buildid. r=gps
authorMike Hommey <mh+mozilla@glandium.org>
Thu, 24 Sep 2015 10:31:01 +0900
changeset 300040 8dbff48899a6c5b6f0a202d454993978ae573486
parent 300039 f1769f48b3c010f411f8abee81152ea53e8d4ab9
child 300041 53df14a71227dbae17db814718b299d49ce9022d
push id1001
push userraliiev@mozilla.com
push dateMon, 18 Jan 2016 19:06:03 +0000
treeherdermozilla-release@8b89261f3ac4 [default view] [failures only]
perfherder[talos] [build metrics] [platform microbench] (compared to previous push)
reviewersgps
bugs1207882
milestone44.0a1
first release with
nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
last release without
nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
Bug 1207882 - Use a separate build target for config/buildid. r=gps
config/Makefile.in
--- a/config/Makefile.in
+++ b/config/Makefile.in
@@ -40,17 +40,19 @@ INSTALL_TARGETS += HEADERS
 endif
 
 include $(topsrcdir)/config/rules.mk
 
 ifndef JS_STANDALONE
 ifndef MOZ_PROFILE_USE
 # Generate a new buildid every time we "export" in config... that's only
 # supposed to be once per-build!
-export::
+export:: buildid
+
+buildid: FORCE
 ifdef MOZ_BUILD_DATE
 	printf '%s' $(MOZ_BUILD_DATE) > buildid
 else
 	$(PYTHON) $(topsrcdir)/toolkit/xre/make-platformini.py --print-buildid > buildid
 endif
 endif
 endif