diff options
Diffstat (limited to 'config.tests/unix')
| -rwxr-xr-x | config.tests/unix/compile.test | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config.tests/unix/compile.test b/config.tests/unix/compile.test index 79e7619d5b..994b21c447 100755 --- a/config.tests/unix/compile.test +++ b/config.tests/unix/compile.test @@ -76,7 +76,7 @@ else $MAKE >/dev/null 2>&1 fi -( [ -x "$EXE" ] || [ -x "${EXE}.exe" ] ) && SUCCESS=yes +( [ -f "$EXE" ] || [ -f "${EXE}.exe" ] ) && SUCCESS=yes # done if [ "$SUCCESS" != "yes" ]; then |