git://git.onelab.eu / build.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 2e75638)
dont build myplc-docs for now
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sun, 11 May 2008 19:26:49 +0000 (19:26 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sun, 11 May 2008 19:26:49 +0000 (19:26 +0000)
onelab.mk patch | blob | history
planetlab.mk patch | blob | history

diff --git a/onelab.mk b/onelab.mk
index 0583c42..aac237e 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 a762886..d989b86 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