diff options
Diffstat (limited to 'scripts/run_suite.sh')
| -rwxr-xr-x | scripts/run_suite.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/scripts/run_suite.sh b/scripts/run_suite.sh index 9d40e24..48cf67f 100755 --- a/scripts/run_suite.sh +++ b/scripts/run_suite.sh @@ -1,9 +1,4 @@ #!/usr/bin/env bash -# Build hdass and run the full test suite (unit tests plus the end-to-end -# example tests). Expects the amd64 Linux environment; it is invoked inside the -# container by scripts/docker_test.sh, but can also be run directly there. -# -# Colours are on by default; set NO_COLOR to disable them. set -euo pipefail cd "$(cd "$(dirname "$0")/.." && pwd)" |