diff options
-rw-r--r-- | tests/init.sh | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/tests/init.sh b/tests/init.sh index d655fbbb6..a57de77a2 100644 --- a/tests/init.sh +++ b/tests/init.sh @@ -240,9 +240,11 @@ find_exe_basenames_() feb_result_= feb_sp_= for feb_file_ in $feb_dir_/*.exe; do - if test "x$feb_file_" = "x$feb_dir_/*.exe" && test ! -f "$feb_file_"; then - return 0 - fi + # If there was no *.exe file, or there existed a file named "*.exe" that + # was deleted between the above glob expansion and the existence test + # below, just skip it. + test "x$feb_file_" = "x$feb_dir_/*.exe" && test ! -f "$feb_file_" \ + && continue case $feb_file_ in *[!-a-zA-Z/0-9_.+]*) feb_fail_=1; break;; *) # Remove leading file name components as well as the .exe suffix. @@ -260,7 +262,7 @@ find_exe_basenames_() # For each file name of the form PROG.exe, create an alias named # PROG that simply invokes PROG.exe, then return 0. If any selected # file name or the directory name, $1, contains an unexpected character, -# define no function and return 1. +# define no alias and return 1. create_exe_shims_() { case $EXEEXT in |