>>> "Paul" == Paul Eggert <[EMAIL PROTECTED]> writes:
Paul> Alexandre Duret-Lutz <[EMAIL PROTECTED]> writes: >> What happens with the following? >> >> cl --help </dev/null; echo $? Paul> I think that's a good idea even if it doesn't happen to work around Paul> the Allegro cl problem, so I installed this: A few other Autoconf macros do that already. AM_PATH_LISPDIR has to do this too. I wonder if it wouldn't make sense to have exec </dev/null right in the initialization of configure. -- Alexandre Duret-Lutz
