At 03:54 +0300 on 26/05/1999, Adrian Urquhart wrote:
>
> I get a message saying that GNU make must be used, but make -v tells me
> it's GNU make 3.77. I tried renaming it to gmake and re-running configure,
> but no joy. All paths and options are set to the defaults. Any help
> appreciated.
Do you use csh as your shell, or tcsh? After renaming, did you rehash? It
may be that configure didn't find gmake in your hash.
Herouth
--
Herouth Maoz, Internet developer.
Open University of Israel - Telem project
http://telem.openu.ac.il/~herutma