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=1Note 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).