Faster makedist

This commit is contained in:
Andrea Mazzoleni 2025-09-29 14:10:18 +02:00
parent 47c0f3b8ae
commit be41b8dbd5

View file

@ -21,6 +21,10 @@ if ! ./configure.windows-x86 $DEBUG; then
exit 1
fi
if ! make -j4; then
exit 1
fi
if ! make distwindows-x86 distclean; then
exit 1
fi
@ -44,4 +48,3 @@ fi
if ! make dist; then
exit 1
fi