[Changed basename usage for compatibility reasons
tobias@goedderz.info**20150317121922
 Ignore-this: d5ab732c92be9aae21ead53d060851fd
] hunk ./run_failed_test.bash 25
-        output_fn="$(dirname "$batch_fn")/$(basename -s .bat "$batch_fn").out"
+        output_fn="$(dirname "$batch_fn")/$(basename "$batch_fn" .bat).out"
hunk ./run_test.bash 4
-expected_output_fn="$(dirname "$batch_fn")/$(basename -s .bat "$batch_fn").out"
+expected_output_fn="$(dirname "$batch_fn")/$(basename "$batch_fn" .bat).out"
hunk ./write_tests_output.bash 5
-    out="$(dirname "$bat")/$(basename -s .bat "$bat").out"
+    out="$(dirname "$bat")/$(basename "$bat" .bat).out"