diff options
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/GNUmakefile b/GNUmakefile index 83bb718a960..e6941b03b30 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -62,10 +62,13 @@ default $(ORDINARY_GOALS): Makefile # Execute in sequence, so that multiple user goals don't conflict. .NOTPARALLEL: +# 'all' if a .git subdirectory is present, empty otherwise. +ALL_IF_GIT = $(subst .git,all,$(wildcard .git)) + configure: @echo >&2 'There seems to be no "configure" file in this directory.' - @echo >&2 'Running ./autogen.sh ...' - ./autogen.sh + @echo >&2 Running ./autogen.sh $(ALL_IF_GIT) ... + ./autogen.sh $(ALL_IF_GIT) @echo >&2 '"configure" file built.' Makefile: configure |