changeset 16374:0502180e1e16

GNUmakefile: simplify detection of unconfigured trees * top/GNUmakefile: Use $(wildcard) instead of $(shell) to determine whether the tree make is being run from is already configured or not. Related simplifications.
author Stefano Lattarini <stefano.lattarini@gmail.com>
date Thu, 16 Feb 2012 20:38:23 +0100
parents dc8de2db7e64
children dea41e513071
files ChangeLog top/GNUmakefile
diffstat 2 files changed, 9 insertions(+), 12 deletions(-) [+]
line wrap: on
line diff
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2012-02-16  Stefano Lattarini  <stefano.lattarini@gmail.com>
+
+	GNUmakefile: simplify detection of unconfigured trees
+	* top/GNUmakefile: Use $(wildcard) instead of $(shell) to determine
+	whether the tree make is being run from is already configured or
+	not.  Related simplifications.
+
 2012-02-13  Simon Josefsson  <simon@josefsson.org>
 
 	* gnulib-tool (Usage): Document --help and --version.
--- a/top/GNUmakefile
+++ b/top/GNUmakefile
@@ -20,20 +20,10 @@
 # You should have received a copy of the GNU General Public License
 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
-# Systems where /bin/sh is not the default shell need this.  The $(shell)
-# command below won't work with e.g. stock DOS/Windows shells.
-ifeq ($(wildcard /bin/s[h]),/bin/sh)
-SHELL = /bin/sh
-else
-# will be used only with the next shell-test line, then overwritten
-# by a configured-in value
-SHELL = sh
-endif
-
 # If the user runs GNU make but has not yet run ./configure,
 # give them a diagnostic.
-_have-Makefile := $(shell test -f Makefile && echo yes)
-ifeq ($(_have-Makefile),yes)
+_gl-Makefile := $(wildcard [M]akefile)
+ifneq ($(_gl-Makefile),)
 
 # Make tar archive easier to reproduce.
 export TAR_OPTIONS = --owner=0 --group=0 --numeric-owner