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