Rework makecheck and makedist

This commit is contained in:
Andrea Mazzoleni 2026-03-18 12:10:05 +01:00
parent 781dd25025
commit cb81bb9fc7
2 changed files with 28 additions and 15 deletions

View file

@ -17,6 +17,30 @@ if ! $SOURCE/configure; then
exit 1
fi
if ! time make check; then
if ! make -j4; then
exit 1
fi
if ! make check; then
exit 1
fi
if ! make distclean; then
exit 1
fi
if ! $SOURCE/configure --host=x86_64-w64-mingw32.static --build=`$SOURCE/config.guess`; then
exit 1
fi
if ! make -j4; then
exit 1
fi
if ! make check; then
exit 1
fi
if ! make distclean; then
exit 1
fi