diff options
author | Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2018-08-06 19:34:21 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-08-06 23:33:28 +0300 |
commit | 5d14258b3694e02392cb24d076d2c7f9cf097f2e (patch) | |
tree | 635d18940f89ba8fcf27094e6dcb64075d8bdb75 /Makefile | |
parent | f22f682695d8f1bf79cde44cfe0b913905c1ef9a (diff) |
Makefile: add missing dependency for command-list.h
Commit 3ac68a93fd (help: add --config to list all available config -
2018-05-26) makes generate-cmdlist.sh adds a new input source
config.txt but it's not a Makefile dependency. Any changes in
config.txt will not trigger command-list.h regeneration and the config
list in this file becomes outdated. Correct the dependency.
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 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2028,7 +2028,7 @@ $(BUILT_INS): git$X command-list.h: generate-cmdlist.sh command-list.txt -command-list.h: $(wildcard Documentation/git*.txt) +command-list.h: $(wildcard Documentation/git*.txt) Documentation/config.txt $(QUIET_GEN)$(SHELL_PATH) ./generate-cmdlist.sh command-list.txt >$@+ && mv $@+ $@ SCRIPT_DEFINES = $(SHELL_PATH_SQ):$(DIFF_SQ):$(GIT_VERSION):\ |