diff options
| author | Erich Eckner <git@eckner.net> | 2018-02-19 19:18:32 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-02-19 19:18:32 +0100 |
| commit | db88d4e5468084e37dbcf46361b04d22248e11fd (patch) | |
| tree | ba7c60969dd6e6608d2f7424f8f0eea80eacfe12 /bin/check-opcodes | |
| parent | 426210589120997b4bf991636ea5a16acbb964ae (diff) | |
| download | builder-db88d4e5468084e37dbcf46361b04d22248e11fd.tar.xz | |
bin/sanity-check: go insane if mysql database is not sane
Diffstat (limited to 'bin/check-opcodes')
0 files changed, 0 insertions, 0 deletions