#!/bin/bash #set DIR = $1 MYDATE=`date +%d%H` OUT=../$2-${MYDATE} cd $1 ; make -k -f files -j 15 ARGS="$3 $4 $5 $6 $7 $8 $9" >& tmp.make.output ; \ cat *.out > ${OUT}