diff options
| author | Diego Biurrun <diego@biurrun.de> | 2018-02-15 13:26:20 +0100 |
|---|---|---|
| committer | Diego Biurrun <diego@biurrun.de> | 2018-02-26 13:30:05 +0100 |
| commit | e2399e0c1aeb110456405d23e211066fab6cb041 (patch) | |
| tree | 73bd7b578c9137776c5bd8e0403416063b2273e8 /doc/multithreading.txt | |
| parent | dc40e64adb1712b1209c018914a44f809bc32664 (diff) | |
| download | ffmpeg-e2399e0c1aeb110456405d23e211066fab6cb041.tar.gz | |
fate: Error out more gracefully on configure failure
If configure fails before config.fate is generated, the report file misses
some values and gets discarded by the FATE server. In these cases, print
those values as "failed" along with the failing configure command line.
Diffstat (limited to 'doc/multithreading.txt')
0 files changed, 0 insertions, 0 deletions