fix: commented unnecessary deletion

ASuciuX · Nov 30, 2023 · aad88ac · aad88ac
1 parent d34b694
commit aad88ac
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/mutation-testing/scripts/append.sh b/mutation-testing/scripts/append.sh
@@ -5,14 +5,14 @@
 
 PR_DIR="./../trials/mutants.out.old"
 
-# Change to the PR_DIR
-cd "$PR_DIR"
+# # Change to the PR_DIR
+# cd "$PR_DIR"
 
-# Delete all files except .txt files
-find . -type f ! -name "*.txt" -delete
+# # Delete all files except .txt files
+# find . -type f ! -name "*.txt" -delete
 
-# Delete all empty directories (log dir)
-find . -type d -empty -delete
+# # Delete all empty directories (log dir)
+# find . -type d -empty -delete
 
 
 ### Append from PR_DIR to STABLE_DIR