Bug 921822 - Use existing install manifest for make install in js standalone builds. r=gps
authorMike Hommey <mh+mozilla@glandium.org>
Tue, 01 Oct 2013 08:26:08 +0900
changeset 149379 3393dcd916949bf707b664ec19ae91d8b37c47cb
parent 149378 4f64e01f2e98df3579d6b312c80c80e7b9c8dc06
child 149380 f4708377f7884aa8204a04153ba3f4ee5936aba2
push id34538
push usermh@glandium.org
push dateMon, 30 Sep 2013 23:27:08 +0000
treeherdermozilla-inbound@3393dcd91694 [default view] [failures only]
perfherder[talos] [build metrics] [platform microbench] (compared to previous push)
reviewersgps
bugs921822
milestone27.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 921822 - Use existing install manifest for make install in js standalone builds. r=gps
js/src/Makefile.in
--- a/js/src/Makefile.in
+++ b/js/src/Makefile.in
@@ -557,21 +557,18 @@ install:: $(LIBRARY_NAME).pc
 #        ds/
 #          js/src/ds/* public headers
 #        gc/
 #          js/src/gc/* public headers
 #        mozilla/
 #          mfbt headers
 #
 
-install:: $(EXPORTS)
-	$(SYSINSTALL) $^ $(DESTDIR)$(includedir)/$(LIBRARY_NAME)
-
-install:: $(EXPORTS_js)
-	$(SYSINSTALL) $^ $(DESTDIR)$(includedir)/$(LIBRARY_NAME)/js
+install::
+	$(call py_action,process_install_manifest,--no-remove $(DESTDIR)$(includedir)/$(LIBRARY_NAME) _build_manifests/install/dist_include)
 
 install:: $(EXPORTS_mozilla)
 	$(SYSINSTALL) $^ $(DESTDIR)$(includedir)/$(LIBRARY_NAME)/mozilla
 
 #
 # END SpiderMonkey header installation
 #############################################