aboutsummaryrefslogtreecommitdiff
path: root/reproduce/config/pipeline
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-12-02 13:19:56 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-12-02 13:19:56 +0000
commit952cdacb25ac690a3206e48673168ed8de4a4056 (patch)
tree0e533deae0b8f8d51b8a487de5b4248e209752e5 /reproduce/config/pipeline
parent2a3304cfb832d2f9548bb869f5a44a3412a1c3f9 (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