X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2FMakefile;h=f813f7de92a1206dfbd157e4a8690e563df92df7;hb=488f5bbd1f2728eb617da02cc02a765be3020630;hp=4771be08e0f344a8032012da3f3e568e6185372a;hpb=fa7b1d0b2c9ac449ec8aaa710a159b77c432fc65;p=pintos-anon diff --git a/tests/Makefile b/tests/Makefile index 4771be0..f813f7d 100644 --- a/tests/Makefile +++ b/tests/Makefile @@ -3,7 +3,7 @@ TESTS = threads p1-1 p1-2 p1-3 list stdlib userprog p2 vm filesys PATH := $(shell pwd)/../src/utils:$(PATH) all: - @echo "This Makefile has only `check' targets." + @echo "This Makefile has only \`check' targets." check: $(MAKE) -C .. distclean