diff options
| author | Erich Eckner <git@eckner.net> | 2019-01-11 11:37:30 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-01-11 11:39:08 +0100 |
| commit | 5d81fd88bb18f6d6f23b0182e4d93b191122fdb0 (patch) | |
| tree | 2db898da6140ef2d68202554281f0917e61ceedc /bin/check-opcodes | |
| parent | b0e5814f1fece32f6d42e6cb0b88bdb68fe5368a (diff) | |
| download | builder-5d81fd88bb18f6d6f23b0182e4d93b191122fdb0.tar.xz | |
bin/db-update: some safeguard: do not "find -delete" w/o "-xdev"
Diffstat (limited to 'bin/check-opcodes')
0 files changed, 0 insertions, 0 deletions