Merge pull request #13 from isaacmaffeis/shell

Update retrieve_input.sh
isaacmaffeis · Sep 28, 2024 · cc7b5ae · cc7b5ae
2 parents a7c7411 + a8477d0
commit cc7b5ae
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