diff --git a/ci/scripts/build.sh b/ci/scripts/build.sh index 1b894cab18e6caaf12d23afe32601ac74e51cffa..1ed7cbb56c44302fcadf62e0dce6868fbcd158a2 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