File: run_tests.sh

package info (click to toggle)
gap-io 4.5.4%2Bds-3
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 860 kB
  • sloc: xml: 2,887; ansic: 2,711; sh: 52; makefile: 32
file content (12 lines) | stat: -rwxr-xr-x 253 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
 
#!/usr/bin/env bash
set -ex

GAP="$GAPROOT/bin/gap.sh -l $PWD; --quitonbreak"

# unless explicitly turned off, we collect coverage data
if [[ -z $NO_COVERAGE ]]; then
    mkdir $COVDIR
    GAP="$GAP --cover $COVDIR/test.coverage"
fi

$GAP tst/testall.g