Update retrieve_input.sh

isaacmaffeis · Sep 28, 2024 · a8477d0 · a8477d0
1 parent b9e5b5b
commit a8477d0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/retrieve_input.sh b/scripts/retrieve_input.sh
@@ -27,7 +27,7 @@ for java_file in "${java_files[@]}"; do
   echo "Processing $java_file_name in the $input_dir directory..."
   echo "File name: $java_file_name_no_extension"
 
-  if [[ "$java_file_name_no_extension" =~ _EXE$ ]]; then
+  if [[ "$java_file_name_no_extension" =~ _Exe$ ]]; then
     rm "$java_file" || { echo "Error: deleting $java_file operation failed"; exit 1; }
     echo "File $java_file_name deleted."
     continue