[invoke scripts with bash since they are not executable
Helmut Grohne <grohne@cs.uni-bonn.de>**20140721143552
 Ignore-this: 4a834ccdc77b59f1a479ff5bf978d149
] hunk ./run_failed_tests.bash 5
-parallel ./run_failed_test.bash ::: "${tests_dir}"/*.bat
+parallel bash ./run_failed_test.bash ::: "${tests_dir}"/*.bat
hunk ./run_tests.bash 10
-parallel ./run_test.bash ::: "${tests_dir}"/*.bat
+parallel bash ./run_test.bash ::: "${tests_dir}"/*.bat