summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtools/configure5
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
}