From 56f0eeef48075e9236f919939fb8bd197fb4292c Mon Sep 17 00:00:00 2001
From: Mark Huang <mlhuang@cs.princeton.edu>
Date: Thu, 1 Feb 2007 16:03:33 +0000
Subject: [PATCH] - change ownership of built files so that we can delete them
 later

---
 build.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index 95c04ca6..a9624bbb 100755
--- a/build.sh
+++ b/build.sh
@@ -7,7 +7,7 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # 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
-- 
2.47.0