Dir check for clean.sh

myaaghubi · Mar 18, 2024 · 0a9ab7e · 0a9ab7e
1 parent 7890182
commit 0a9ab7e
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/clean.sh b/clean.sh
@@ -3,6 +3,11 @@
 . ./config
 . ./base/option_target.sh
 
+# Colors
+GREEN='\033[0;32m'
+RED='\033[0;31m'
+NC='\033[0m' # No Color
+
 shopt -s extglob
 
 for fw in $param_targets
@@ -12,5 +17,9 @@ do
         cd "$fw"
         . "_benchmark/clean.sh"
         cd ..
+    else
+        # check for dir
+        echo -e "${RED}Dir $fw/ doesn't exist!"
+        FAIL=1
     fi
 done