Hi Stepan,
Thanks for the patch.
* Stepan Kasal wrote on Fri, Dec 14, 2007 at 08:51:45PM CET:
> ---
> Hi,
> I noticed the following detail. Since we have to grep the output of
> make --version for GNU, we catch SGI make, I suppose.
>
> So I think the special trick for SGI, which was in use be
---
Hi,
I noticed the following detail. Since we have to grep the output of
make --version for GNU, we catch SGI make, I suppose.
So I think the special trick for SGI, which was in use before the
commit 693c934 is no longer needed.
If you agree, please commit and push the following patch.
Hav
