git://git.onelab.eu / build.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ab79686)
aliases
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 21 Dec 2009 09:46:19 +0000 (09:46 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 21 Dec 2009 09:46:19 +0000 (09:46 +0000)
Makefile patch | blob | history

diff --git a/Makefile b/Makefile
index 13a3f13..efa08fd 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -383,6 +383,7 @@ savedpldistro.mk:
        echo "WEBPATH:=$(WEBPATH)" >> $@
        echo "TESTBUILDURL:=$(TESTBUILDURL)" >> $@
        echo "WEBROOT:=$(WEBROOT)" >> $@
+       echo "alias m=\"make PLDISTRO=$(PLDISTRO) PLDISTROTAGS=$(PLDISTROTAGS))\"" > aliases
 
 savedpldistro: savedpldistro.mk
 .PHONY: savedpldistro
build