diff options
| author |  Jim Fehrle <jfehrle@sbcglobal.net> | 2018-06-28 22:55:33 -0700 |
|---|---|---|
| committer | Jim Fehrle <jfehrle@sbcglobal.net> | 2018-06-30 10:30:30 -0700 |
| commit | 5d4616f63c66291d2e83c5d9847749fa89b33bf6 (patch) | |
| tree | 53d83df6382d707cdbf02ac4b8bfc385a03afeea /configure.ml | |
| parent | 069d17f4f138fd779eff589119a7783784ababd9 (diff) | |
Suppress useless "true bin/*.opt.exe" messages from no-op STRIP and CODESIGN steps.
Diffstat (limited to 'configure.ml')
0 files changed, 0 insertions, 0 deletions