diff --git a/ci/scripts/build.sh b/ci/scripts/build.sh index 6f92161100212ac23f3f8bb5974de5acf0c0a094..47de282848a1a49b4c60f5ec93fbce59865535d3 100644 --- a/ci/scripts/build.sh +++ b/ci/scripts/build.sh @@ -6,7 +6,7 @@ if [ $# -ne 4 ]; then exit 1 fi -if [ -d "$1" ] then +if [ -d "$1" ]; then echo "Folder {} already exists." exit 1 fi diff --git a/ci/scripts/config.sh b/ci/scripts/config.sh index 2a94d1735817d1b8e3b0c9ce8a262cc0e8a2258b..a68b38066bf741a936c84268ccae57b290812b5d 100644 --- a/ci/scripts/config.sh +++ b/ci/scripts/config.sh @@ -6,7 +6,7 @@ if [ $# -ne 4 ]; then exit 1 fi -if [ -d "$1" ] then +if [ -d "$1" ]; then echo "Folder {} already exists." exit 1 fi