summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2012-06-21 16:22:16 +0000
committerDamien Doligez <damien.doligez-inria.fr>2012-06-21 16:22:16 +0000
commit9cd6b389a354b1678b271e3dd6b866fd6a5fd0fb (patch)
tree0575bc1f143f8fb382fc8b93a3a923a8be1bb022
parent7d38df4432507fe78eea8d3bb5e878154cf432ca (diff)
better formatting of message
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12632 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-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;;