From a767f2fd6c5a6104ff32a35a27f0c15aec546957 Mon Sep 17 00:00:00 2001 From: Patrick Steinhardt Date: Thu, 19 Mar 2026 06:33:24 +0100 Subject: 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 Signed-off-by: Junio C Hamano --- generate-python.sh | 20 -------------------- 1 file changed, 20 deletions(-) delete mode 100755 generate-python.sh (limited to 'generate-python.sh') diff --git a/generate-python.sh b/generate-python.sh deleted file mode 100755 index 31ac115689..0000000000 --- a/generate-python.sh +++ /dev/null @@ -1,20 +0,0 @@ -#!/bin/sh - -set -e - -if test $# -ne 3 -then - echo >&2 "USAGE: $0 " - 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" -- cgit v1.3