From c6bda7560763afa100d836b32c81d91502b896d8 Mon Sep 17 00:00:00 2001
From: Jean-Baptiste Keck <jean-baptiste.keck@imag.fr>
Date: Thu, 13 Jun 2019 00:34:51 +0200
Subject: [PATCH] remove directory check in build.sh
---
ci/scripts/build.sh | 5 -----
1 file changed, 5 deletions(-)
diff --git a/ci/scripts/build.sh b/ci/scripts/build.sh
index 1b894cab1..1ed7cbb56 100644
--- a/ci/scripts/build.sh
+++ b/ci/scripts/build.sh
@@ -6,11 +6,6 @@ if [ $# -ne 4 ]; then
exit 1
fi
-if [ ! -d "$1" ]; then
- echo "Folder {} does not exist."
- exit 1
-fi
-
BUILD_FOLDER="$1"
mkdir -p $BUILD_FOLDER
cd $BUILD_FOLDER
--
GitLab