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/src | |
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/src')
0 files changed, 0 insertions, 0 deletions