diff options
| author | Erich Eckner <git@eckner.net> | 2018-07-18 12:07:52 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-07-18 12:07:52 +0200 |
| commit | e699a32f905c609163a4d7489b7b156c634fe511 (patch) | |
| tree | 9a263e088148dd63178f6ed84de347a9fe8aeb5b /bin/seed-build-list | |
| parent | 8fd41a4a2f07b4a5f4f08f4cc4a3ee77d51c13a2 (diff) | |
| download | builder-e699a32f905c609163a4d7489b7b156c634fe511.tar.xz | |
bin/sanity-check: do not fail if "find" returns non-zero when looking for mysql left-overs
Diffstat (limited to 'bin/seed-build-list')
0 files changed, 0 insertions, 0 deletions