From 43c7bda3d82cc945b299b5a0bdab031fee2b8980 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Mon, 24 May 2010 16:22:40 +0200
Subject: [PATCH] avoid duplicate build in ALL.modules

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 770dcdef..1ab3f9a1 100644
--- a/Makefile
+++ b/Makefile
@@ -272,9 +272,9 @@ endef
 $(foreach package, $(ALL), $(eval $(call stage1_package_vars,$(package))))
 
 # compute all modules
-ALL.modules :=
+ALL.modules := build tests
 $(foreach package,$(ALL), $(eval ALL.modules+=$($(package)-MODULES)))
-ALL.modules:=build tests $(sort $(ALL.modules))
+ALL.modules:=$(sort $(ALL.modules))
 
 # extract revision from -SVNPATH or tag from -GITPATH
 define stage1_module_vars
-- 
2.47.0