oops
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 21 Dec 2009 09:47:48 +0000 (09:47 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 21 Dec 2009 09:47:48 +0000 (09:47 +0000)
Makefile

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