diff options
| author | Patrick Steinhardt <ps@pks.im> | 2026-03-19 06:33:24 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2026-03-19 06:40:09 -0700 |
| commit | a767f2fd6c5a6104ff32a35a27f0c15aec546957 (patch) | |
| tree | d558fdbd55b625018b35d7e83ac3c1d4217ef318 /generate-script.sh | |
| parent | 405c98a6a0e017f41f5de9c649a8f6f1b3fc4314 (diff) | |
| download | git-a767f2fd6c5a6104ff32a35a27f0c15aec546957.tar.xz | |
builds: move build scripts into "tools/"
We have a bunch of scripts used by our different build systems that are
all located in the top-level directory. Now that we have introduced the
new "tools/" directory though we have a better home for them.
Move the scripts into the "tools/" directory.
Signed-off-by: Patrick Steinhardt <ps@pks.im>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'generate-script.sh')
| -rwxr-xr-x | generate-script.sh | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/generate-script.sh b/generate-script.sh deleted file mode 100755 index a149e4f0ba..0000000000 --- a/generate-script.sh +++ /dev/null @@ -1,34 +0,0 @@ -#!/bin/sh - -set -e - -if test $# -ne 3 -then - echo >&2 "USAGE: $0 <INPUT> <OUTPUT> <GIT-BUILD-OPTIONS>" - exit 1 -fi - -INPUT="$1" -OUTPUT="$2" -BUILD_OPTIONS="$3" - -. "$BUILD_OPTIONS" - -sed -e "1s|#!.*/sh|#!$SHELL_PATH|" \ - -e "s|@SHELL_PATH@|$SHELL_PATH|" \ - -e "s|@DIFF@|$DIFF|" \ - -e "s|@LOCALEDIR@|$LOCALEDIR|g" \ - -e "s/@USE_GETTEXT_SCHEME@/$USE_GETTEXT_SCHEME/g" \ - -e "$BROKEN_PATH_FIX" \ - -e "s|@GITWEBDIR@|$GITWEBDIR|g" \ - -e "s|@PERL_PATH@|$PERL_PATH|g" \ - -e "s|@PAGER_ENV@|$PAGER_ENV|g" \ - "$INPUT" >"$OUTPUT" - -case "$(basename "$INPUT")" in -git-mergetool--lib.sh|git-sh-i18n.sh|git-sh-setup.sh) - ;; -*) - chmod a+x "$OUTPUT" - ;; -esac |