diff options
Diffstat (limited to 'src/arm/test_gnunet_arm.sh')
-rwxr-xr-x | src/arm/test_gnunet_arm.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/arm/test_gnunet_arm.sh b/src/arm/test_gnunet_arm.sh index d36c2ca38..4c3edb249 100755 --- a/src/arm/test_gnunet_arm.sh +++ b/src/arm/test_gnunet_arm.sh | |||
@@ -1,6 +1,6 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/sh |
2 | 2 | ||
3 | exe="./gnunet-arm -c test_arm_api_data.conf" | 3 | exe="valgrind --trace-children=yes ./gnunet-arm -c test_arm_api_data.conf" |
4 | out=`mktemp /tmp/test-gnunet-arm-logXXXXXXXX` | 4 | out=`mktemp /tmp/test-gnunet-arm-logXXXXXXXX` |
5 | #DEBUG="-L DEBUG" | 5 | #DEBUG="-L DEBUG" |
6 | 6 | ||