From c1ffe7df740c95ec99f80e470cfee3cdafb7d3cf Mon Sep 17 00:00:00 2001
From: Dengke Tang <dengket@amazon.com>
Date: Wed, 1 Mar 2023 09:43:27 -0800
Subject: [PATCH] remove not used script

---
 dev-scripts/update_version.sh | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100755 dev-scripts/update_version.sh

diff --git a/dev-scripts/update_version.sh b/dev-scripts/update_version.sh
deleted file mode 100755
index 1203435..0000000
--- a/dev-scripts/update_version.sh
+++ /dev/null
@@ -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}"