diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-02 13:19:56 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-02 13:19:56 +0000 |
| commit | 952cdacb25ac690a3206e48673168ed8de4a4056 (patch) | |
| tree | 0e533deae0b8f8d51b8a487de5b4248e209752e5 /reproduce/config/pipeline | |
| parent | 2a3304cfb832d2f9548bb869f5a44a3412a1c3f9 (diff) | |
Configure building on one thread for debugging
To help in debugging, we are only running the Makefiles within the
configure script on one thread.
Diffstat (limited to 'reproduce/config/pipeline')
0 files changed, 0 insertions, 0 deletions