#!/bin/bash

for bat in "$@"
do
    out="$(dirname "$bat")/$(basename "$bat" .bat).out"

    echo "[$(date +"%F %X")] Executing:" timeout 60 sh ./igor2 -b "${bat}" \> "$out"
    (   ulimit -v "$((1024*1024))"
        timeout 60 \
        sh ./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
