Only the major version number is interesting for CentOS.

[build.git] / planetlab.mk

diff --git a/planetlab.mk b/planetlab.mk
index 674e86d..b1d4645 100644 (file)
--- a/planetlab.mk
+++ b/planetlab.mk
@@ -261,10 +261,10 @@ IN_MYPLC += PLCWWW
 #
 # monitor
 #
-monitor-MODULES := Monitor
-monitor-SPEC := monitor.spec
-ALL += monitor
-IN_BOOTSTRAPFS += monitor
+Monitor-MODULES := Monitor
+Monitor-SPEC := Monitor.spec
+ALL += Monitor
+IN_BOOTSTRAPFS += Monitor
 
 #
 # nodeconfig