diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2016-01-12T17·25+0100 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2016-01-12T17·26+0100 |
| commit | 786046cf13688cdf350a33b474f1e82f73447048 (patch) | |
| tree | 42dc0851d3cb4801e7db74901d276838b50c6a24 /.gitignore | |
| parent | 8906eda2f90f6b8b7bb7b6a3dccaac8a109ff767 (diff) | |
--option build-repeat: Keep the differing output if -K is given
Similar to 00903fa79961d7eb0fadeb9ed2d7cda7821dc293. Regardless of -K, we now also print which output differs.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions