From e2b6611b99d7377ba8c6590b6ffe46244f987238 Mon Sep 17 00:00:00 2001
From: Dhruv Makwana <dc_mak@outlook.com>
Date: Tue, 5 Nov 2024 11:59:06 +0000
Subject: [PATCH] Make CMake build parallel

---
 cpp/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cpp/dune b/cpp/dune
index 4d37290..c45a14d 100644
--- a/cpp/dune
+++ b/cpp/dune
@@ -23,7 +23,7 @@
       _build))
     (with-outputs-to
      cmake_build.txt
-     (run cmake --build _build))
+     (run cmake --build _build --parallel))
     (copy _build/clang-tree-carve clang-tree-carve.exe)))))
 
 (rule