Makefile: Add `prove` to make test

[code/vcsh.git] / vcsh

diff --git a/vcsh b/vcsh
index af67e180a1b7af65b87da25cdafd559c5a5cdcbd..0f2c5af7373af05fa9a0510ff6173df44ac31ab7 100755 (executable)
--- a/vcsh
+++ b/vcsh
@@ -19,12 +19,12 @@
 # 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
 # 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.20141025'
+VERSION='1.20141026'

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

-       [ -z $2] && exit 1
+       [ -z $2 ] && exit 1

        exit $2
 }
 
        exit $2
 }
 


@@ -154,7 +154,8 @@ clone() {
        git config branch."$VCSH_BRANCH".remote origin
        git config branch."$VCSH_BRANCH".merge  refs/heads/"$VCSH_BRANCH"
        if [ $(git ls-remote origin "$VCSH_BRANCH" 2> /dev/null | wc -l ) -lt 1 ]; then
        git config branch."$VCSH_BRANCH".remote origin
        git config branch."$VCSH_BRANCH".merge  refs/heads/"$VCSH_BRANCH"
        if [ $(git ls-remote origin "$VCSH_BRANCH" 2> /dev/null | wc -l ) -lt 1 ]; then

-               info "remote is empty, not merging anything"
+               info "remote is empty, not merging anything.
+  You should add files to your new repository."

                exit
        fi
        git fetch origin "$VCSH_BRANCH"
                exit
        fi
        git fetch origin "$VCSH_BRANCH"