diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2012-06-21 16:22:16 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2012-06-21 16:22:16 +0000 |
commit | 9cd6b389a354b1678b271e3dd6b866fd6a5fd0fb (patch) | |
tree | 0575bc1f143f8fb382fc8b93a3a923a8be1bb022 | |
parent | 7d38df4432507fe78eea8d3bb5e878154cf432ca (diff) |
better formatting of message
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12632 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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;; |