diff options
Diffstat (limited to 'scripts/update-git-remotes')
-rwxr-xr-x | scripts/update-git-remotes | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/update-git-remotes b/scripts/update-git-remotes index d01a0eb..4fe2570 100755 --- a/scripts/update-git-remotes +++ b/scripts/update-git-remotes @@ -3,6 +3,7 @@ # Synchronizes git remotes with the user db # +echo "checking database safety" >&2 if ! `dirname "$0"`/check_db_safety; then exit 1 fi |