summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 04c067e27..5fb24a972 100755
--- a/configure
+++ b/configure
@@ -812,7 +812,7 @@ if (SHELL=/bin/sh; export SHELL; (./sharpbang || ./sharpbang2) >/dev/null); then
echo "SHARPBANGSCRIPTS=false" >> Makefile;;
*-*-cygwin*)
echo "We won't use it, though, because of conflicts with .exe extension"
- echo "under Cygwin"
+ echo " under Cygwin"
echo "SHARPBANGSCRIPTS=false" >> Makefile;;
*)
echo "SHARPBANGSCRIPTS=true" >> Makefile;;