abduco

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | LICENSE

commit 5d3a53e49a472fa686102d2500695666e9112ed6
parent 3b701e24327eca05e3f6b39a7432604eb5a7be70
Author: Marc André Tanner <mat@brain-dump.org>
Date:   Wed, 25 Jun 2014 09:59:21 +0200

Set detach key explicitly in testsuite.sh

Diffstat:
testsuite.sh | 7++++++-
1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/testsuite.sh b/testsuite.sh @@ -1,6 +1,11 @@ #!/bin/bash ABDUCO="./abduco" +# set detach key explicitly in case it was changed in config.h +ABDUCO_OPTS="-e ^\\" + +[ ! -z "$1" ] && ABDUCO="$1" +[ ! -x "$ABDUCO" ] && echo "usage: $0 /path/to/abduco" && exit 1 detach() { sleep 1 @@ -103,7 +108,7 @@ run_test_attached_detached() { $cmd &> /dev/null expected_abduco_output "$name" $? > "$output_expected" - if detach | $ABDUCO -c "$name" $cmd &> /dev/null && sleep 3 && + if detach | $ABDUCO $ABDUCO_OPTS -c "$name" $cmd &> /dev/null && sleep 3 && $ABDUCO -a "$name" 2>&1 | head -n -1 | tail -1 | sed 's/.$//' > "$output" && diff -u "$output_expected" "$output" && check_environment; then rm "$output" "$output_expected"