mirror of
https://github.com/git/git.git
synced 2026-03-11 09:29:49 +01:00
f6897d7e72
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>
21 lines
294 B
Bash
Executable File
21 lines
294 B
Bash
Executable File
#!/bin/sh
|
|
|
|
set -e
|
|
|
|
if test $# -ne 3
|
|
then
|
|
echo >&2 "USAGE: $0 <GIT_BUILD_OPTIONS> <INPUT> <OUTPUT>"
|
|
exit 1
|
|
fi
|
|
|
|
GIT_BUILD_OPTIONS="$1"
|
|
INPUT="$2"
|
|
OUTPUT="$3"
|
|
|
|
. "$GIT_BUILD_OPTIONS"
|
|
|
|
sed -e "1s|#!.*python|#!$PYTHON_PATH|" \
|
|
"$INPUT" >"$OUTPUT+"
|
|
chmod a+x "$OUTPUT+"
|
|
mv "$OUTPUT+" "$OUTPUT"
|