[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#17722: Makefile rule fix and cleanup patches

From: Paul Eggert
Subject: bug#17722: Makefile rule fix and cleanup patches
Date: Fri, 06 Jun 2014 17:16:02 -0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.5.0

Jim Meyering wrote:
using scripts for egrep and fgrep may be removed

Let's not remove the scripts, as they're better on platforms where they're supported. Users of a script can more-easily understand and modify what it does, which is a better match for the GNU project's overarching goals.

Instead, we should use scripts on GNUish platforms, and fall back on binary executables only on platforms that don't have a working shell.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]