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