From 74ad930beb9581458df4d80815e3f3141842ede6 Mon Sep 17 00:00:00 2001
From: Stephen Soltesz <soltesz@cs.princeton.edu>
Date: Mon, 13 Oct 2008 19:03:33 +0000
Subject: [PATCH] add monitor-server to the build.

---
 planetlab.mk | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/planetlab.mk b/planetlab.mk
index 16fc654d..1361354c 100644
--- a/planetlab.mk
+++ b/planetlab.mk
@@ -210,6 +210,14 @@ 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
 #
-- 
2.47.0