diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2016-02-02 23:11:36 -0800 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2016-02-02 23:14:30 -0800 |
commit | aca31e3815b9bd9c696cf0c74cc4a80ad7e35ec9 (patch) | |
tree | 5c32bcba93ddbbc019705fa22e900237d848644a /GNUmakefile | |
parent | b50075dd056b1c18afe96f29142981fe5774ceb1 (diff) |
autogen.sh now configures git only on request
* autogen.sh (do_autoconf, do_git): New vars.
Support new arguments --help, all, autoconf, git.
By default, just do autoconf-related configuration, not git.
Prefer 'echo' to 'cat <<EOF ...', as this tends to avoid temp files.
If GNU cp is available, use it to backup .git/config before
changing it. When configuring git, chatter about what is being
done, and configure git to check hashes. Avoid some duplicate
file name specification when creating git hooks.
* GNUmakefile (ALL_IF_GIT): New macro.
(configure): Use it.
* INSTALL.REPO: Suggest './autogen.sh all'.
Diffstat (limited to 'GNUmakefile')
-rw-r--r-- | GNUmakefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/GNUmakefile b/GNUmakefile index 83bb718a96..e6941b03b3 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 |