Add fast check script

This commit is contained in:
Andrea Mazzoleni 2025-10-29 14:47:17 +01:00
parent 9c7f7a4615
commit e3846dbba0

22
makecheck.sh Executable file
View file

@ -0,0 +1,22 @@
#!/bin/sh
#
# Run a check in a temporary dir
#
# Source directory
SOURCE=`pwd`
# Dest directory
DEST=`mktemp -d`
cd $DEST
make distclean
if ! $SOURCE/configure; then
exit 1
fi
if ! time make check; then
exit 1
fi