Fri, 19 Dec 2025 13:47:10 +0100
make check-all.sh faster by adding parallelization
| check-all.sh | file | annotate | diff | comparison | revisions |
--- 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."