From e228c1770593c4f6bbb02f235fb974fbafb0c007 Mon Sep 17 00:00:00 2001
From: ph4ge <67114670+ph4ge@users.noreply.github.com>
Date: Mon, 24 Jun 2024 11:31:27 +0200
Subject: [PATCH] -j, if it has to be arbitrary, it can be arbitrarily
 friendly. BTW, that command also works on BSD systems

---
 run-kontrol.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run-kontrol.sh b/run-kontrol.sh
index d255cab..a0b9806 100755
--- a/run-kontrol.sh
+++ b/run-kontrol.sh
@@ -56,7 +56,7 @@ kontrol_section_edge() {
 
 kontrol_build --require lemmas.k --module-import ERC20:DEMO-LEMMAS --verbose
 kontrol_list
-kontrol_prove -j8 \
+kontrol_prove -j$(getconf _NPROCESSORS_ONLN) \
             --bug-report=BUGREPORT.bug \
             --match-test Examples.test_assert_bool_failing \
             --match-test Examples.test_assert_bool_passing