diff options
| author | Carlo Marcelo Arenas Belón <carenas@gmail.com> | 2025-07-31 01:06:25 -0700 |
|---|---|---|
| committer | Johannes Sixt <j6t@kdbg.org> | 2025-07-31 18:42:54 +0200 |
| commit | de0ac94c58fb6857cfcb902245a89396c690ab99 (patch) | |
| tree | 4281c3df0cddc6e087561c64e09d08ac2ee1f13f | |
| parent | 8c02ecc6f66d6f0831485948555594bf1fff9763 (diff) | |
| download | git-de0ac94c58fb6857cfcb902245a89396c690ab99.tar.xz | |
git-gui: fix dependency of GITGUI_MAIN on generator
Since 854e883 (git-gui: extract script to generate "git-gui",
2025-03-11), the logic to generate the main script was pulled
out of the Makefile, but adding the resulting generator as a
dependency was missed.
If the logic changes, the main script should be regenerated, so
add it as a dependency.
Signed-off-by: Carlo Marcelo Arenas Belón <carenas@gmail.com>
Signed-off-by: Johannes Sixt <j6t@kdbg.org>
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -168,7 +168,7 @@ git-gui: windows/git-gui.sh cp $< $@ endif -$(GITGUI_MAIN): git-gui.sh GIT-VERSION-FILE GIT-GUI-BUILD-OPTIONS +$(GITGUI_MAIN): git-gui.sh GIT-VERSION-FILE GIT-GUI-BUILD-OPTIONS generate-git-gui.sh $(QUIET_GEN)$(SHELL_PATH) generate-git-gui.sh "$<" "$@" ./GIT-GUI-BUILD-OPTIONS ./GIT-VERSION-FILE XGETTEXT ?= xgettext |