-Added IRQ to PCI
[pintos-anon] / src / tests / Makefile
1 all::
2         $(MAKE) -C userprog
3
4 clean::
5         $(MAKE) -C userprog clean
6
7 distclean:: clean
8         find . -name '*~' -exec rm '{}' \;