Create INST_DIR if missing.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>

diff --git a/build.sh b/build.sh
index dd3062cc85dc26183f8e2c48a0691fc1f6e0af57..a269d3192d853e03480018f012f76588cd8144d5 100755 (executable)
--- a/build.sh
+++ b/build.sh
@@ -8,13 +8,8 @@ export MAKE=${MAKE-make -j}
 export PREFIX=${PREFIX-/usr}
 export INST_DIR=${DESTDIR-dist}
 
-if test ! -d "$INST_DIR"
-then
-    echo "DESTDIR not set correctly"
-    exit 1
-fi
 INST_DIR=`readlink -f $INST_DIR`
-
+mkdir -p "$INST_DIR"
 
 source xen.sh
 source grub.sh