diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-04-15 14:56:18 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2018-04-18 20:38:49 -0400 |
| commit | df32529c2df958d9059d16c5af9ff614c790546e (patch) | |
| tree | cb91e3acaae16cf4c35a85fe739df7a96ca89eb4 /folkwisdom.md | |
| parent | 476cf88ac2279956ca496a67902235a5d0704812 (diff) | |
Error if a display target fails
Because pipes eat error codes, we were previously succeeding when
display targets fail. This meant that we didn't catch
https://github.com/mit-plv/fiat-crypto/issues/344#issuecomment-381422896
on Travis. Now we will.
Diffstat (limited to 'folkwisdom.md')
0 files changed, 0 insertions, 0 deletions