diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -655,6 +655,7 @@ make -f reproduce/src/make/dependencies-basic.mk \ static_build=$static_build \ needs_ldl=$needs_ldl \ on_mac_os=$on_mac_os \ + numthreads=$numthreads \ -j$numthreads |