From: Mark Huang Date: Thu, 1 Feb 2007 16:03:33 +0000 (+0000) Subject: - change ownership of built files so that we can delete them later X-Git-Tag: planetlab-4_0-rc1~15 X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=56f0eeef48075e9236f919939fb8bd197fb4292c;p=build.git - change ownership of built files so that we can delete them later --- diff --git a/build.sh b/build.sh index 95c04ca6..a9624bbb 100755 --- a/build.sh +++ b/build.sh @@ -7,7 +7,7 @@ # Mark Huang # Copyright (C) 2003-2005 The Trustees of Princeton University # -# $Id: build.sh,v 1.41 2007/01/22 04:19:06 mlhuang Exp $ +# $Id: build.sh,v 1.42 2007/01/22 04:45:27 mlhuang Exp $ # PATH=/sbin:/bin:/usr/sbin:/usr/bin @@ -121,6 +121,7 @@ cleanup() { sudo umount $PLC_ROOT/data/fedora sudo umount $PLC_ROOT/data/build sudo $BASE/BUILD/myplc-devel-*/myplc/host.init stop + sudo chown -h -R $USER $PLC_DATA } trap "cleanup; failure" ERR INT