Rename do_power_off to power_off_when_done.
[pintos-anon] / src / vm / Make.vars
1 DEFINES = -DUSERPROG -DFILESYS -DVM
2 SUBDIRS = threads devices lib lib/kernel userprog filesys vm