Improve scripts.

2025-02-26 17:01:51 -05:00
parent 37c361e03c
commit ad40c4183f
8 changed files with 31 additions and 38 deletions
--- a/scripts/clean.sh
+++ b/scripts/clean.sh
@@ -1,7 +1,7 @@
 #!/bin/bash

-if [ -z "$ROOT" ]; then
-    make clean
-else
-    cd $ROOT && make clean
-fi
+if [ -n "$ROOT" ]; then
+    cd $ROOT
+fi
+
+make clean