diff options
Diffstat (limited to 'sup')
-rwxr-xr-x | sup | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -39,9 +39,9 @@ GIT="hit" # done #} -# Check if it is a git repository +# Check if it is a git repository, and wheter we're in the top of it if [ ! -d ".git" ]; then - echo "$BASENAME: not a git repository" + echo "$BASENAME: not a git repository, or not in the top-level of that repository" exit 1 fi |