diff options
| author | cathugger <cathugger@cock.li> | 2018-05-13 12:40:39 +0000 |
|---|---|---|
| committer | cathugger <cathugger@cock.li> | 2018-05-13 12:40:39 +0000 |
| commit | a3c85082a6d853db5368b0e85fac262d4888b3fd (patch) | |
| tree | a88a5868d22a660e3303fc5f654f0dd664af84f1 /scripts/update-git-remotes | |
| parent | db00cd6df1cb43d7e575be6dfb2fb4494979f256 (diff) | |
| download | resdb-a3c85082a6d853db5368b0e85fac262d4888b3fd.tar.gz resdb-a3c85082a6d853db5368b0e85fac262d4888b3fd.zip | |
scripts/check_db_safety: don't complain so much about missing things
they aren't unsafe
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 |