Run make in parallel when building releases

1 files changed, 1 insertions, 0 deletions

diff --git a/make_dist b/make_dist
index fb1436e6..de6d3f1b 100755
--- a/make_dist
+++ b/make_dist
@@ -119,6 +119,7 @@ if ($run_tests)
 {
     cd($srcdir);
     run("./configure");
+    run("make -j8");
     run("make check");
     cd($pwd);
 }