From f7ae558cfded053386c024a6881d1b44aee550f2 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Tue, 5 Jan 2010 09:22:19 +0000
Subject: [PATCH] convenience

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 4ad9aaa0..d4f36ea9 100644
--- 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
-- 
2.47.0