diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-05-29 17:58:13 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-05-29 17:59:19 +0200 |
| commit | ebf6efcadc130ada9b449fad04b19e4a3455a99d (patch) | |
| tree | c9050a256fef2bdc9c3c2675a2bc14061dbd55f8 /coq | |
| parent | 3aa45f72a8c8b33087fddab070a069adc5487244 (diff) | |
| download | compcert-kvx-ebf6efcadc130ada9b449fad04b19e4a3455a99d.tar.gz compcert-kvx-ebf6efcadc130ada9b449fad04b19e4a3455a99d.zip | |
make -j20 instead of xargs -P4 + make -j5
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions