git://git.onelab.eu / build.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 6c8b480)
convenience
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 5 Jan 2010 09:22:19 +0000 (09:22 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 5 Jan 2010 09:22:19 +0000 (09:22 +0000)
Makefile patch | blob | history

diff --git a/Makefile b/Makefile
index 4ad9aaa..d4f36ea 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -384,6 +384,7 @@ savedpldistro.mk:
        echo "TESTBUILDURL:=$(TESTBUILDURL)" >> $@
        echo "WEBROOT:=$(WEBROOT)" >> $@
        echo "alias m=\"make PLDISTRO=$(PLDISTRO) PLDISTROTAGS=$(PLDISTROTAGS)\"" > aliases
+       echo "alias m1=\"make stage1=true PLDISTRO=$(PLDISTRO) PLDISTROTAGS=$(PLDISTROTAGS)\"" >> aliases
 
 savedpldistro: savedpldistro.mk
 .PHONY: savedpldistro
build