From 4f670845ff9ab6c48bcb5f7bf4d4ef6dc3c3064b Mon Sep 17 00:00:00 2001 From: manuel Date: Tue, 27 Mar 2012 11:51:08 +0200 Subject: reorganize file structure to match the upstream requirements --- pintos-progos/vm/Make.vars | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 pintos-progos/vm/Make.vars (limited to 'pintos-progos/vm/Make.vars') diff --git a/pintos-progos/vm/Make.vars b/pintos-progos/vm/Make.vars deleted file mode 100644 index e3c33a7..0000000 --- a/pintos-progos/vm/Make.vars +++ /dev/null @@ -1,7 +0,0 @@ -# -*- makefile -*- - -kernel.bin: DEFINES = -DUSERPROG -DFILESYS -DVM -KERNEL_SUBDIRS = threads devices lib lib/kernel userprog filesys vm -TEST_SUBDIRS = tests/userprog tests/vm tests/filesys/base -GRADING_FILE = $(SRCDIR)/tests/vm/Grading -SIMULATOR = --qemu -- cgit v1.2.3