diff options
Diffstat (limited to 'scripts/rawhide-snapshot.sh')
| -rwxr-xr-x | scripts/rawhide-snapshot.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/scripts/rawhide-snapshot.sh b/scripts/rawhide-snapshot.sh index b96bd38d9..210216b98 100755 --- a/scripts/rawhide-snapshot.sh +++ b/scripts/rawhide-snapshot.sh @@ -11,6 +11,13 @@ source scripts/kernel-version.sh +klist -s +if [ ! $? -eq 0 ]; then + echo "klist couldn't read the credential cache." + echo "Do you need to fix your kerberos tokens?" + exit 1 +fi + git fetch origin if [ "$(git rev-parse origin/master)" != "$(git rev-parse HEAD)" ]; then echo "I just did a git fetch and this branch does not match master" |