diff options
Diffstat (limited to 'pintos-progos/threads/Make.vars')
| -rw-r--r-- | pintos-progos/threads/Make.vars | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/pintos-progos/threads/Make.vars b/pintos-progos/threads/Make.vars deleted file mode 100644 index 310c240..0000000 --- a/pintos-progos/threads/Make.vars +++ /dev/null | |||
| @@ -1,7 +0,0 @@ | |||
| 1 | # -*- makefile -*- | ||
| 2 | |||
| 3 | kernel.bin: DEFINES = | ||
| 4 | KERNEL_SUBDIRS = threads devices lib lib/kernel $(TEST_SUBDIRS) | ||
| 5 | TEST_SUBDIRS = tests/threads | ||
| 6 | GRADING_FILE = $(SRCDIR)/tests/threads/Grading | ||
| 7 | SIMULATOR = --bochs | ||