make "TS=$1"
make "P=$1" -fk ../makefile $2
rm -f $1.[ckmos]