cleaning some cruft out

[feisty_meow.git] / scripts / rev_control / compact_git.sh

diff --git a/scripts/rev_control/compact_git.sh b/scripts/rev_control/compact_git.sh
index abc626a53c36f8b97e7466148b426edc30467043..88efcdaae62007f0dfbf2f5188699c874cf0adaa 100644 (file)
--- a/scripts/rev_control/compact_git.sh
+++ b/scripts/rev_control/compact_git.sh
@@ -7,6 +7,9 @@ fi
 pushd "$prune_dir"
 echo cleaning git in directory $(pwd)
 git fsck --full
+check_if_failed "git fsck"
 git gc --prune=today --aggressive
+check_if_failed "git gc"
 git repack
+check_if_failed "git repack"
 popd