From 60fe435eb4e2be0cd3eb854d47b2fad1de569f5e Mon Sep 17 00:00:00 2001
From: Mark Huang <mlhuang@cs.princeton.edu>
Date: Tue, 18 Jul 2006 18:54:06 +0000
Subject: [PATCH] - don't leave internal build behind

---
 build.sh | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/build.sh b/build.sh
index 08bc724..8a2ae6a 100755
--- a/build.sh
+++ b/build.sh
@@ -14,7 +14,7 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2006 The Trustees of Princeton University
 #
-# $Id: build.sh,v 1.23 2006/07/17 21:31:31 mlhuang Exp $
+# $Id$
 #
 
 . build.functions
@@ -62,10 +62,8 @@ EOF
     umount devel/root/data
     umount devel/root/proc
     umount devel/root/usr/share/mirrors/fedora || :
-
-    # Could leave it around, but it does consume a lot of disk space
-    # rm -rf devel/data/build
-    # mkdir -p devel/data/build
+    rm -rf devel/data/build
+    mkdir -p devel/data/build
 
     # No need to continue
     exit 0
-- 
2.47.0