From a562a35ce1c90867f2a0f2c9dc1313baa927cd2f Mon Sep 17 00:00:00 2001
From: Mark Huang <mlhuang@cs.princeton.edu>
Date: Wed, 7 Feb 2007 23:50:11 +0000
Subject: [PATCH] merge changes from head

---
 make.sh | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/make.sh b/make.sh
index 05e9affb..5dbe6366 100755
--- a/make.sh
+++ b/make.sh
@@ -1,4 +1,24 @@
 #!/bin/bash
+#
+# make(1) wrapper to build PlanetLab RPMS inside a myplc-devel
+# development environment.
+#
+# 1. $BASE is the build/ directory containing this script.
+# 2. Builds myplc-devel using host tools.
+# 3. Mounts $BASE onto the home directory of the build user inside
+#    myplc-devel.
+# 4. Executes "make" on the specified targets.
+#
+# Can be used to manally restart a build also, e.g.,
+#
+# cd build/nightly/2007.02.07/
+# ./make.sh kernel
+# 
+# Mark Huang <mlhuang@cs.princeton.edu>
+# Copyright (C) 2007 The Trustees of Princeton University
+#
+# $Id: make.sh,v 1.2 2007/02/07 23:49:42 mlhuang Exp $
+#
 
 PATH=/sbin:/bin:/usr/sbin:/usr/bin
 
-- 
2.47.0