diff options
Diffstat (limited to 'make_dist')
-rwxr-xr-x | make_dist | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -119,6 +119,7 @@ if ($run_tests) { cd($srcdir); run("./configure"); + run("make -j8"); run("make check"); cd($pwd); } |