diff options
| -rwxr-xr-x | tools/configure | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index 631589f..8272417 100755 --- a/tools/configure +++ b/tools/configure @@ -121,7 +121,10 @@ EOF endian="little" fi echo "Simulator environment deemed $endian endian" - rm /tmp/conftest-$id /tmp/conftest-$id.c + + # use wildcard here to make it work even if it was named *.exe like + # on cygwin + rm -f /tmp/conftest-$id* fi } |