4 $(addprefix create-, normal empty null bad-ptr long exists bound) \
5 $(addprefix args-, argc argv0 argvn single multiple dbl-space)
12 $(foreach prog,$(SINGLETONS),$(eval $(call SINGLETON_PROG,$(prog))))
13 DISKS = $(patsubst %,%.dsk,$(PROGS))
17 PINTOS = ../../src/utils/pintos
18 OS_DISK = ../../src/userprog/build/os.dsk
21 $(PINTOS) make-disk $@.tmp 2
22 $(PINTOS) -v --os-disk=$(OS_DISK) --fs-disk=$@.tmp run -f -q
23 $(PINTOS) -v --os-disk=$(OS_DISK) --fs-disk=$@.tmp put $<
29 include $(SRCDIR)/Makefile.userprog