git://git.onelab.eu / build.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 8287d1e)
was building a bit too fast
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 8 May 2008 10:43:32 +0000 (10:43 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 8 May 2008 10:43:32 +0000 (10:43 +0000)
onelab.mk patch | blob | history
planetlab.mk patch | blob | history

diff --git a/onelab.mk b/onelab.mk
index 09646ff..0583c42 100644 (file)
--- a/onelab.mk
+++ b/onelab.mk
@@ -358,4 +358,4 @@ ALL += myplc-native
 
 myplc-docs-MODULES := MyPLC PLCAPI NodeManager
 myplc-docs-SPEC := myplc-docs.spec
-ALL := myplc-docs
+ALL += myplc-docs
diff --git a/planetlab.mk b/planetlab.mk
index d91b570..a762886 100644 (file)
--- a/planetlab.mk
+++ b/planetlab.mk
@@ -342,4 +342,4 @@ ALL += myplc-native
 
 myplc-docs-MODULES := MyPLC PLCAPI NodeManager
 myplc-docs-SPEC := myplc-docs.spec
-ALL := myplc-docs
+ALL += myplc-docs
build