cd src

make testinstall
if [[ $? -ne 0 ]]; then
    echo >&2 "Error running the GAP testsuite."
    exit 1
fi

LOG=dev/log/testinstall2_*

echo "================================================================"
echo "Test log:"
cat $LOG
echo "================================================================"

ERRORS=`grep ^##### $LOG`
if [[ ! -z "$ERRORS" ]]; then
    echo >&2 "Error running the GAP testsuite."
    exit 1
fi
echo "The GAP testsuite completed successfully."
