diff options
author | Erich Eckner <git@eckner.net> | 2018-03-29 13:52:20 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-03-29 13:52:20 +0200 |
commit | 979f330103b8ddf354904f4213e507ca4ea3bd12 (patch) | |
tree | 81ee04c357f32b53b1630c1721b9f948903a970d /bin | |
parent | 37dd4786515d78db928d6bdd7fd844452f0dd0c9 (diff) | |
download | builder-979f330103b8ddf354904f4213e507ca4ea3bd12.tar.xz |
bin/sanity-check: print failed mysql query, too, so we might get a hint which script misses a lock (in case of a temporary problem)
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/sanity-check | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/sanity-check b/bin/sanity-check index 0a81343..1e508e2 100755 --- a/bin/sanity-check +++ b/bin/sanity-check @@ -416,7 +416,9 @@ while [ $# -gt 0 ]; do errors=$( find "${work_dir}" -mindepth 1 -maxdepth 1 \ - -name 'tmp.mysql-functions.query.*' + -name 'tmp.mysql-functions.query.*' \ + -printf '%f\n' \ + -execdir sed 's/^/>> ' '{}' \; ) if [ -n "${errors}" ]; then if [ ${silence} -le 1 ]; then |