#!/bin/bash

#set DIR = $1

MYDATE=`date +%d%H`
OUT=../$2-${MYDATE}.org

cd $1 ; make -k -f files -j 15 ARGS="$3 $4 $5 $6 $7 $8 $9" >& tmp.make.output ; \
cat *.out > ${OUT}

echo "" >> ${OUT}
echo "* org config" >> ${OUT}
echo "" >> ${OUT}
echo "#+SEQ_TODO: TODO | BUG NONBUG" >> ${OUT}