export m; m=$1
shift
echo -dev ${m} -obj $* >${m}.dev
