diff options
| -rwxr-xr-x | bin/sanity-check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/sanity-check b/bin/sanity-check index 927c20f..60cb958 100755 --- a/bin/sanity-check +++ b/bin/sanity-check @@ -129,7 +129,7 @@ touch "${tmp_dir}/messages" trap 'finish' EXIT if [ $# -eq 0 ]; then - set -- git-repositories build-list mysql ssh-keys master-mirror-availability repos package-database track-state + set -- git-repositories build-list master-mirror-availability mysql ssh-keys repos package-database track-state fi while [ $# -gt 0 ]; do |