From: Mark Huang <mlhuang@cs.princeton.edu>
Date: Wed, 7 Feb 2007 23:49:42 +0000 (+0000)
Subject: add comment header
X-Git-Tag: 4.2-rc2~655
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=bf07b7581ee318f8340e6776df79bfe158a8ec99;p=build.git

add comment header
---

diff --git a/make.sh b/make.sh
index 05e9affb..d2073643 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$
+#
 
 PATH=/sbin:/bin:/usr/sbin:/usr/bin