diff options
| author | Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2018-10-27 08:22:34 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-10-29 02:16:59 +0100 |
| commit | 76b993afd6dc7602aa6a14432c1136285308bc29 (patch) | |
| tree | 62a94701adc917d8a24747eac628df5aaa6eeef4 /generate-cmdlist.sh | |
| parent | Merge branches 'bp/reset-quiet' and 'js/mingw-http-ssl' into nd/config-split (diff) | |
| download | git-76b993afd6dc7602aa6a14432c1136285308bc29.tar.xz git-76b993afd6dc7602aa6a14432c1136285308bc29.zip | |
Update makefile in preparation for Documentation/config/*.txt
config.txt is going to be broken down in smaller pieces and put under
Documentation/config directory. Update build rules to take these files
into account.
A dummy file is added to make sure wildcard expansion is predictable
(depending on shell setting it could expand to nothing or becomes a
path if config directory is empty). The file will be deleted once the
move is over.
Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'generate-cmdlist.sh')
| -rwxr-xr-x | generate-cmdlist.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generate-cmdlist.sh b/generate-cmdlist.sh index fa1e5475e8..709d67405b 100755 --- a/generate-cmdlist.sh +++ b/generate-cmdlist.sh @@ -80,7 +80,7 @@ print_config_list () { cat <<EOF static const char *config_name_list[] = { EOF - grep -h '^[a-zA-Z].*\..*::$' Documentation/*config.txt | + grep -h '^[a-zA-Z].*\..*::$' Documentation/*config.txt Documentation/config/*.txt | sed '/deprecated/d; s/::$//; s/, */\n/g' | sort | while read line |