diff options
Diffstat (limited to 'messagebus_test/src/tests/speed/speed_test.sh')
-rwxr-xr-x | messagebus_test/src/tests/speed/speed_test.sh | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/messagebus_test/src/tests/speed/speed_test.sh b/messagebus_test/src/tests/speed/speed_test.sh deleted file mode 100755 index 1d9ba27f84e..00000000000 --- a/messagebus_test/src/tests/speed/speed_test.sh +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/bash -set -e - -if [ -z "$SOURCE_DIRECTORY" ]; then - SOURCE_DIRECTORY="." -fi - -. ../../binref/env.sh - -$BINREF/compilejava $SOURCE_DIRECTORY/JavaServer.java -$BINREF/compilejava $SOURCE_DIRECTORY/JavaClient.java - -(ulimit -c; ulimit -H -c; ulimit -c unlimited; $VALGRIND ./messagebus_test_speed_test_app) |