projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 91fb354) | 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)
commitdbfc1b1ff0845b54b9e83471f1a0e3e945cb22b5
treed308b35ff9f31d698688a9bacefd37331a9536datree | snapshot
parent91fb354a589805f2251aab154faa40b180ecc367commit | 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