[Added a bash script to conveniently generate test output files
tobias@goedderz.info**20150311160426
 Ignore-this: 9c0914ab6508c0c21f40318a5bdf4e2
] addfile ./write_tests_output.bash
hunk ./write_tests_output.bash 1
+#!/bin/bash
+
+for bat in "$@"
+do
+    out="$(dirname "$bat")/$(basename -s .bat "$bat").out"
+
+    echo "[$(date +"%F %X")] Executing:" timeout 60 ./igor2 -b "${bat}" \> "$out"
+    (   ulimit -v "$((1024*1024))"
+        timeout 60 \
+        ./igor2 -b "$bat" \
+            | grep -v '^File loaded in [0-9.]\+s$\|^\s*CPU: [0-9.]\+s$' \
+            > "$out" 2>&1 )
+    if [ $? = 0 ]
+    then
+        echo "Wrote ${out}."
+    else
+        echo -n "RV=$?: "
+        rm -v "$out"
+    fi
+done