diff options
author | André Nusser <andre.nusser@googlemail.com> | 2016-01-31 23:10:30 +0100 |
---|---|---|
committer | André Nusser <andre.nusser@googlemail.com> | 2016-01-31 23:10:30 +0100 |
commit | 9310177b736ddf8c6599f685cd38191a95933202 (patch) | |
tree | 40b8a2f5d952065fd77737af0185e4e7217bda88 /tools/valgrind_test | |
parent | 7985de37c0fad8500d69d3702a0cd58eb97d1030 (diff) |
Give the test scripts a '.sh' ending. Small improvements to perf. test.
Diffstat (limited to 'tools/valgrind_test')
-rwxr-xr-x | tools/valgrind_test/valgrind_test.sh (renamed from tools/valgrind_test/valgrind_test) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/valgrind_test/valgrind_test b/tools/valgrind_test/valgrind_test.sh index b06342e..b06342e 100755 --- a/tools/valgrind_test/valgrind_test +++ b/tools/valgrind_test/valgrind_test.sh |