diff options
Diffstat (limited to 'run-tests.sh')
| -rwxr-xr-x | run-tests.sh | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/run-tests.sh b/run-tests.sh index f9ef16f9..8873a3e9 100755 --- a/run-tests.sh +++ b/run-tests.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # # Runs our test suite, which builds a DCP. @@ -7,7 +7,12 @@ # if anything is different. # -LD_LIBRARY_PATH=build/src:build/asdcplib/src build/test/tests +if [ "$1" == "--debug" ]; then + shift + LD_LIBRARY_PATH=build/src:build/asdcplib/src gdb --args build/test/tests +else + LD_LIBRARY_PATH=build/src:build/asdcplib/src build/test/tests +fi diff -ur test/ref/DCP build/test/foo if [ "$?" != "0" ]; then echo "FAIL: files differ" |