remove not used script

2026-08-18 01:57:13 +00:00 · 2023-03-01 09:43:27 -08:00
parent fc49d94898
commit c1ffe7df74
1 changed files with 0 additions and 15 deletions
@@ -1,15 +0,0 @@
-#!/usr/bin/env bash
-
-set -ex
-
-BASENAME=${0}
-TOOLS_DIR=$(dirname ${BASENAME})
-WORK_DIR="${TOOLS_DIR}/.."
-
-cd "${WORK_DIR}"
-
-version_with_v=$(git describe --tags --abbrev=0)
-VERSION=$(echo ${version_with_v} | cut -f2 -dv)
-sed -i "s/#define CRT_VERSION .*/#define CRT_VERSION \"$VERSION\"/g" ext/crt.c
-
-export VERSION="${VERSION}"