The Coq mailing list

[Ian Zimmerman <itz AT speakeasy.org>]

The configure script contains this:

#!/bin/sh

# much omitted

echo_e () {
    case "`uname -s`" in
        OSF1|SunOS )
        echo $*;;
    *)
        echo -e $*;;
  esac
}

But I, running Debian GNU/Linux, have ash as /bin/sh (while keeping
bash as the interactive shell).  So,

kronstadt:~# echo -e foo
foo
kronstadt:~# sh -c 'echo -e foo'
-e foo
kronstadt:~# 

which breaks the build completely as "-e" is inserted everywhere in
config/coq_config.ml.

By the way, trying to send this to coq-bugs generates an autoresponse
saying "this address is obsolete" and recommending the selfsame
address "instead".  I don't know about others, but this kind of thing
is a total turn-off for me.  I really could stop using a piece of
software connected to such an experience.

-- 
Ian Zimmerman, Oakland, California, U.S.A.
GPG: 433BA087  9C0F 194F 203A 63F7 B1B8  6E5A 8CA3 27DB 433B A087
In his own soul a man bears the source
from which he draws all his sorrows and his joys.
Sophocles.