From 243d76617b88a9bdf43ceb15ac14ec56b4c3e974 Mon Sep 17 00:00:00 2001 From: Paris Kasidiaris Date: Mon, 5 Dec 2016 13:34:10 +0200 Subject: [PATCH] Create the build directory if it does not exist already --- bin/build | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/bin/build b/bin/build index 126392ab..123bbd51 100755 --- a/bin/build +++ b/bin/build @@ -5,6 +5,10 @@ set -e # $BUILD_DIR should default to "build" export BUILD_DIR=${BUILD_DIR:=build} +# Create the build directory +mkdir -p $BUILD_DIR + + # Clean out/* to prevent confusion if files were deleted in src/ rm -rf out/*