diff options
Diffstat (limited to 'service/src')
| -rwxr-xr-x | service/src/stldoctor | bin | 46736 -> 46480 bytes | |||
| -rw-r--r-- | service/src/test.sh | 6 |
2 files changed, 3 insertions, 3 deletions
diff --git a/service/src/stldoctor b/service/src/stldoctor Binary files differindex 6038d97..bf96373 100755 --- a/service/src/stldoctor +++ b/service/src/stldoctor diff --git a/service/src/test.sh b/service/src/test.sh index f8e7196..c9e5af3 100644 --- a/service/src/test.sh +++ b/service/src/test.sh @@ -2,7 +2,7 @@ set -e -RUN_REMOTE=1 +# RUN_REMOTE=1 export RESULTDIR="../data/scans" export ECHO_INPUT=1 @@ -22,7 +22,7 @@ print() } checkleaks() { - valgrind --leak-check=full ./printdoc 2>&1 | tee /tmp/testlog + valgrind --leak-check=full ./stldoctor 2>&1 | tee /tmp/testlog if [ -z "$(grep "no leaks are possible" /tmp/testlog)" ]; then echo "Valgrind exited with errors!" exit 1 @@ -33,7 +33,7 @@ connect() { if [ $RUN_REMOTE ]; then nc localhost 9000 else - ./printdoc + ./stldoctor fi } |