[patch] Use $make in validate

Matthias Kilian kili at outback.escape.de
Mon May 17 16:34:19 EDT 2010


On Mon, May 17, 2010 at 08:52:14PM +0100, Ian Lynagh wrote:
> Solaris doesn't have whereis. Does this work for you?
> 
> if type make > /dev/null 2> /dev/null
> then
>     echo yes
> else
>     echo no
> fi
> 
> if type gmake > /dev/null 2> /dev/null
> then
>     echo yes
> else
>     echo no
> fi
> 
> if type nosuchmake > /dev/null 2> /dev/null
> then
>     echo yes
> else
>     echo no
> fi

So many lines, and using type? ;-)

echo all: | make -s -f - || echo nomake
echo all: | gmake -s -f - || echo nogmake
echo all: | nosuchmake -s -f - || echo nosuchmake



More information about the Cvs-ghc mailing list