You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

20 lines
407 B

#!/bin/bash
SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
if [ -n "$1" ]; then
testrunner_bin=$1
else
make -s -C "$SCRIPT_DIR/../.." -j"$(nproc)" testrunner # CXXFLAGS="-g -O2 -w -DHAVE_BOOST"
testrunner_bin=$SCRIPT_DIR/../../testrunner
fi
ec=0
tests=$($testrunner_bin -d | cut -d'(' -f2 | cut -d')' -f1)
for test in $tests; do
$testrunner_bin -n "$test" || ec=1
done
exit $ec