# HG changeset patch # User Mike Becker # Date 1739306832 -3600 # Node ID 73efb59703a4e9b721a75a18c44e037a7d26a062 # Parent d17a7350f4a79905a5aefafca4f48f23edd1d9a3 add missing clean to check script for cxx builds diff -r d17a7350f4a7 -r 73efb59703a4 check-all.sh --- a/check-all.sh Tue Feb 11 21:43:14 2025 +0100 +++ b/check-all.sh Tue Feb 11 21:47:12 2025 +0100 @@ -15,7 +15,7 @@ function perform_check_cxx { # we cannot mute the warnings, so throw every everything - if ! make check-cxx > /dev/null 2> /dev/null ; then + if ! make clean check-cxx > /dev/null 2> /dev/null ; then echo "fail." else echo "ok."