From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 31 Dec 2004 07:42:50 +0000 (+0000)
Subject: Improve command-line interface to run-tests.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fbea5921d53e698fee2014995cdb13ddb67a982f;hp=fbea5921d53e698fee2014995cdb13ddb67a982f;p=pintos-anon

Improve command-line interface to run-tests.
---