make definition for the Monitor server-side rpm package.

diff --git a/planetlab.mk b/planetlab.mk
index 45dc385..ecb38f0 100644 (file)
--- a/planetlab.mk
+++ b/planetlab.mk
@@ -221,6 +221,13 @@ Monitor-SPEC := Monitor.spec
 ALL += Monitor
 IN_BOOTSTRAPFS += Monitor
 
+#
+# monitor-server
+#
+monitor-server-MODULES := Monitor
+monitor-server-SPEC := monitor-server.spec
+ALL += monitor-server
+
 #
 # nodeconfig
 #