TD-57

- TD-57 taskdctl script assumes /bin/sh is /bin/bash (thanks to Tatjana Heuser).
2014-05-23 16:34:08 -04:00
parent 30dc62703d
commit 704e85fcbc
3 changed files with 3 additions and 2 deletions
--- a/performance/run_perf
+++ b/performance/run_perf
@@ -1,4 +1,4 @@
-#! /bin/sh
+#! /bin/bash

 echo 'Performance: setup'
 echo '  - This step will take several minutes'