Safer use of rm in pure_concolic_execution.sh

eurecom-s3 · Feb 18, 2024 · 06fa553 · 06fa553
1 parent 315c0ed
commit 06fa553
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/util/pure_concolic_execution.sh b/util/pure_concolic_execution.sh
@@ -57,7 +57,7 @@ if [[ -v failed_dir ]]; then
 fi
 
 function cleanup() {
-    rm -rf $work_dir
+    rm -rf --preserve-root -- $work_dir
 }
 
 trap cleanup EXIT