diff options
| author | June McEnroe <june@causal.agency> | 2022-02-14 22:44:50 -0500 |
|---|---|---|
| committer | June McEnroe <june@causal.agency> | 2022-02-14 22:44:50 -0500 |
| commit | 87e72f9f7f22f082346013e4fdd02cb2b622ab23 (patch) | |
| tree | e05045df8a811baf1f884f89e83ed781397712e9 /www/git.causal.agency/cgit/gen-version.sh | |
| parent | Narrow filter (diff) | |
| download | src-87e72f9f7f22f082346013e4fdd02cb2b622ab23.tar.gz src-87e72f9f7f22f082346013e4fdd02cb2b622ab23.zip | |
Remove cgit
My fork of cgit is now <https://git.causal.agency/cgit-pink/>.
Diffstat (limited to '')
| -rwxr-xr-x | www/git.causal.agency/cgit/gen-version.sh | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/www/git.causal.agency/cgit/gen-version.sh b/www/git.causal.agency/cgit/gen-version.sh deleted file mode 100755 index 80cf49af..00000000 --- a/www/git.causal.agency/cgit/gen-version.sh +++ /dev/null @@ -1,20 +0,0 @@ -#!/bin/sh - -# Get version-info specified in Makefile -V=$1 - -# Use `git describe` to get current version if we're inside a git repo -if test "$(git rev-parse --git-dir 2>/dev/null)" = '.git' -then - V=$(git describe --abbrev=4 HEAD 2>/dev/null) -fi - -new="CGIT_VERSION = $V" -old=$(cat VERSION 2>/dev/null) - -# Exit if VERSION is uptodate -test "$old" = "$new" && exit 0 - -# Update VERSION with new version-info -echo "$new" > VERSION -cat VERSION |