3 SINGLETONS = create-normal create-empty create-null create-invalid create-long
10 $(foreach prog,$(SINGLETONS),$(eval $(call SINGLETON_PROG,$(prog))))
11 DISKS = $(patsubst %,%.dsk,$(PROGS))
15 PINTOS = ../../src/utils/pintos
18 $(PINTOS) make-disk fs.dsk 2
19 $(PINTOS) -v run -f -q
23 os.dsk: ../../src/userprog/build/os.dsk
29 include $(SRCDIR)/Makefile.userprog