Move repo deletion to the end...

[code/vcsh.git] / vcsh

diff --git a/vcsh b/vcsh
index 9f413f6c67fa1c468c07259ed29e768c0f2c298b..5d502e7c68f372a427f0ad68e62bc8938899cead 100755 (executable)
--- a/vcsh
+++ b/vcsh
@@ -15,8 +15,12 @@
 # This should always be the first line of code to facilitate debugging
 [ -n "$VCSH_DEBUG" ] && set -vx
 
 # This should always be the first line of code to facilitate debugging
 [ -n "$VCSH_DEBUG" ] && set -vx
 

+
+# If '.git-HEAD' is appended to the version, you are seeing an unreleased
+# version of vcsh; the master branch is supposed to be clean at all times
+# so you can most likely just use it nonetheless
+VERSION='1.20131229.git-HEAD'

 SELF=$(basename $0)
 SELF=$(basename $0)

-VERSION='1.20131229'

 
 fatal() {
        echo "$SELF: fatal: $1" >&2
 
 fatal() {
        echo "$SELF: fatal: $1" >&2