From 46ab8cfff358fbccbdeee3a6f211f8dc74e73aac Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Tue, 2 Jan 2024 17:27:38 -0300 Subject: tools/: Remove unused files --- tools/version.sh | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 tools/version.sh (limited to 'tools/version.sh') diff --git a/tools/version.sh b/tools/version.sh deleted file mode 100644 index f1cc5948..00000000 --- a/tools/version.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/sh - -if test -d .git ; then -if type git >/dev/null 2>&1 ; then -git describe --tags --match 'v[0-9]*' 2>/dev/null \ -| sed -e 's/^v//' -e 's/-/-git-/' -else -sed 's/$/-git/' < VERSION -fi -else -cat VERSION -fi -- cgit v1.2.3