From: Mark Huang <mlhuang@cs.princeton.edu>
Date: Wed, 7 Feb 2007 23:50:11 +0000 (+0000)
Subject: merge changes from head
X-Git-Tag: planetlab-4_0-rc1~5
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=a562a35ce1c90867f2a0f2c9dc1313baa927cd2f;p=build.git

merge changes from head
---

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