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