diff options
Diffstat (limited to 'messagebus_test/src/tests/trace/trace_test.sh')
| -rwxr-xr-x | messagebus_test/src/tests/trace/trace_test.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/messagebus_test/src/tests/trace/trace_test.sh b/messagebus_test/src/tests/trace/trace_test.sh index 8f4a725840d..7bd344a8618 100755 --- a/messagebus_test/src/tests/trace/trace_test.sh +++ b/messagebus_test/src/tests/trace/trace_test.sh @@ -1,8 +1,12 @@ #!/bin/bash set -e +if [ -z "$SOURCE_DIRECTORY" ]; then + SOURCE_DIRECTORY="." +fi + . ../../binref/env.sh -$BINREF/compilejava JavaServer.java +$BINREF/compilejava $SOURCE_DIRECTORY/JavaServer.java $VALGRIND ./messagebus_test_trace_test_app |