diff -r a2565f9fc6de -r d643fec1b2d5 check-all.sh
--- a/check-all.sh	Fri Dec 19 12:40:58 2025 +0100
+++ b/check-all.sh	Fri Dec 19 13:47:10 2025 +0100
@@ -3,19 +3,21 @@
 # backup config
 cp config.mk config.mk.bak
 
-function perform_check
+perform_check()
 {
-  if ! make clean check > /dev/null ; then
+  make clean > /dev/null
+  if ! make check -j`nproc` > /dev/null ; then
     echo "fail."
   else
     echo "ok."
   fi
 }
 
-function perform_check_cxx
+perform_check_cxx()
 {
-  # we cannot mute the warnings, so throw every everything
-  if ! make clean check-cxx > /dev/null 2> /dev/null ; then
+  make clean > /dev/null
+  # we cannot mute the warnings, so throw away everything
+  if ! make check-cxx -j`nproc` > /dev/null 2> /dev/null ; then
     echo "fail."
   else
     echo "ok."