From: Ben Pfaff Date: Tue, 14 Mar 2006 22:43:44 +0000 (+0000) Subject: Test commit. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=85107db029a606ae8d08b6a1c03694763e868a6c;p=pintos-anon Test commit. --- diff --git a/solutions/README b/solutions/README index c56106d..38668ba 100644 --- a/solutions/README +++ b/solutions/README @@ -1,4 +1,4 @@ -Sample solutions. +Sample solutions. These solutions are well written and pass all the corresponding tests. You can run them automatically with `make check' in tests/. diff --git a/tests/Makefile b/tests/Makefile index 3adf8e3..866e364 100644 --- a/tests/Makefile +++ b/tests/Makefile @@ -1,4 +1,4 @@ -TESTS = threads p1 userprog p2 vm p3 filesys p4 +TESTS = threads p1 userprog p2 vm p3 filesys p4 PATH := $(shell pwd)/../src/utils:$(PATH)