From be9e2d70cb0d4828b955b3cf05b508b471850c0d Mon Sep 17 00:00:00 2001
From: Bart Van Assche <bvanassche@acm.org>
Date: Sat, 12 Nov 2022 18:16:17 -0800
Subject: [PATCH] ci/build.sh: Enable parallel compilation

---
 ci/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/build.sh b/ci/build.sh
index 6d71bfd..bd253e0 100755
--- a/ci/build.sh
+++ b/ci/build.sh
@@ -16,7 +16,7 @@ esac
 
 ./autogen.sh &&
     ./configure "${configure_options[@]}" &&
-    make &&
+    make -j$(nproc) &&
     case "$(uname)" in
 	MSYS*|MINGW*)
 	    ;;