From 4930c22c97160f34f29318b483fd61b3f8f8400c Mon Sep 17 00:00:00 2001
From: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Date: Tue, 17 Mar 2015 14:08:49 +0000
Subject: [PATCH] No need to remove INST_DIR

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
---
 build.sh | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/build.sh b/build.sh
index bc62241..182deed 100755
--- a/build.sh
+++ b/build.sh
@@ -10,7 +10,7 @@ export PREFIX=${PREFIX-/usr}
 export INST_DIR=${DESTDIR-dist}
 
 INST_DIR=`readlink -f $INST_DIR`
-mkdir -p "$INST_DIR"
+mkdir -p "$INST_DIR" &>/dev/null
 
 source xen.sh
 source grub.sh
@@ -112,9 +112,6 @@ then
     exit 1
 fi
 
-rm -rf "$INST_DIR"
-mkdir -p "$INST_DIR"
-
 get_distro
 get_arch
 
-- 
2.39.5