27
Content-Disposition: inline; filename="
e
gen-version.sh
20e
Last-Modified: Sat, 29 Aug 2026 17:50:59 GMT
Expires: Tue, 26 Aug 2036 17:50:59 GMT
ETag: "3a080157cf4e871d8e4f63d01855d8eeaf36f943"
#!/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 -d .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
0
HTTP/1.0 500 Internal Server Error
Date: Sat, 29 Aug 2026 17:50:59 GMT
Server: OpenBSD httpd
Connection: close
Content-Type: text/html
Content-Length: 518
500 Internal Server Error
500 Internal Server Error
OpenBSD httpd