projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3146439) | patch
Also verify that running "make clean" deletes all the files in the
authorBen Pfaff <blp@cs.stanford.edu>
Sat, 11 Nov 2006 14:41:59 +0000 (14:41 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Sat, 11 Nov 2006 14:41:59 +0000 (14:41 +0000)
commit9ae0ea8865c32bac7f2cfd891dc9c9d8fad0a7a8
tree80eb9cbca0037c85e82496294923fd74085f1c02tree | snapshot
parent3146439436229fe48e325caa9a140d05d8ac2897commit | diff
Also verify that running "make clean" deletes all the files in the
build directory except for the Makefile itself.
tests/Makefile diff | blob | history
Pintos public repository