From ada3c65e456daec07244c9bf94b30976e7161cca Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Wed, 23 Dec 2009 19:17:45 +0000 Subject: [PATCH] Replace target list by a wildcard, so that this workaround makefile also works transparently for lesser used targets. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index accf677e25..7c89e96edf 100644 --- a/Makefile +++ b/Makefile @@ -11,7 +11,7 @@ # GNUmakefile won't exist yet, so we catch that case as well. -all check install installdirs installcheck installcheck-parallel uninstall clean distclean maintainer-clean: +%: @if [ ! -f GNUmakefile ] ; then \ echo "You need to run the 'configure' program first. See the file"; \ echo "'INSTALL' for installation instructions." ; \ -- 2.40.0