From: Ben Pfaff Date: Sat, 11 Nov 2006 14:41:59 +0000 (+0000) Subject: Also verify that running "make clean" deletes all the files in the X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9ae0ea8865c32bac7f2cfd891dc9c9d8fad0a7a8;p=pintos-anon Also verify that running "make clean" deletes all the files in the build directory except for the Makefile itself. --- diff --git a/tests/Makefile b/tests/Makefile index f8cd357..c2f8b01 100644 --- a/tests/Makefile +++ b/tests/Makefile @@ -32,6 +32,11 @@ define compile cd $@/src/$(PROJECT) && $(MAKE) endef +define test-clean +cd $@/src/$(PROJECT)/build && $(MAKE) clean +cd $@/src/$(PROJECT)/build && set `find -type f` > /dev/null && test $$# = 1 +endef + define clean rm -rf $@ endef @@ -51,8 +56,14 @@ threads:: $(mk-sandbox) $(compile) $(run-tests) TESTS=tests/threads/alarm-single + $(test-clean) + $(clean) +userprog vm filesys:: + $(mk-sandbox) + $(compile) + $(test-clean) $(clean) -examples userprog vm filesys:: +examples:: $(mk-sandbox) $(compile) $(clean) @@ -63,4 +74,5 @@ p1 p2 p3 p4:: $(apply-patch) $(run-tests) $(grade-tests) + $(test-clean) $(clean)