X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=tests%2FMakefile;h=f813f7de92a1206dfbd157e4a8690e563df92df7;hb=9a23b07779a919205f9a355c81b67b629e929575;hp=af04b414c667e9520a6d1943b5e32a69cd1a4105;hpb=5a121c17dc3088074ff51b99dbe353b25e7adff1;p=pintos-anon

diff --git a/tests/Makefile b/tests/Makefile
index af04b41..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