make ummcase mmrout=CASES/ATL_objdummy.c DMC=./xccobj \
DMCFLAGS="--name new" nb=30 beta=1
make mmutstcase mmrout=CASES/ATL_objdummy.c DMC=./xccobj \
DMCFLAGS="--name new" nb=30 beta=1
Note that ATL_objdummy.c could be any file that exists in the
indicated directory (does not need to be a compilable file), and that
we do not specify the beta case (done using the tester/timer machinery)
or the objdir (because we placed the kernel in the default directory).