# Copyright (C) 2006 The Trustees of Princeton University
#
# $Id$
+# $URL$
#
# Source function library and configuration
[ -d "$topdir" ] || continue
deployment=$(basename $topdir)
if [ "$deployment" = "regular" ] ; then
- action $"Rebuilding Boot Manager"
- $topdir/build.sh regular
+ action $"Rebuilding Boot Manager" $topdir/build.sh regular
check
elif [ -x $topdir/build.sh ] ; then
- action $"Rebuilding Boot Manager for deployment $deployment"
- $topdir/build.sh $deployment
+ action $"Rebuilding Boot Manager for deployment $deployment" $topdir/build.sh $deployment
check
elif [ "$deployment" == "source" ] ; then
- action $"Ignoring obsolete dir, please cleanup" "$topdir"
+ action $"Ignoring obsolete dir, please cleanup $topdir"
else
- action $"WARNING: missing build.sh script in" "$topdir"
+ action $"WARNING: missing build.sh script in $topdir"
fi
done