diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/valgrind/valgrind_test.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/valgrind/valgrind_test.py b/tools/valgrind/valgrind_test.py index f1651fb..72d6a59 100755 --- a/tools/valgrind/valgrind_test.py +++ b/tools/valgrind/valgrind_test.py @@ -396,7 +396,7 @@ class ValgrindTool(BaseTool): prefix="browser_wrapper.", text=True) f = os.fdopen(fd, "w") - f.write("#!/bin/sh\n") + f.write("#!/bin/bash\n") f.write('echo "Started Valgrind wrapper for this test, PID=$$"\n\n') f.write('for arg in $@\ndo\n') f.write(' if [[ "$arg" =~ --test-name=(.*) ]]\n then\n') |