X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2FMakefile;h=1eb67b3142af29a46f1591b25f1eea24f47bbc5e;hb=254b25da573faedd3cf11f407b9f28111860fdfe;hp=0a09f5ae7353fc6fe09dc3afaedf763e751c44a4;hpb=0a966cc4da61e55a805d2eca989b70799d62b8d1;p=pintos-anon

diff --git a/grading/userprog/Makefile b/grading/userprog/Makefile
index 0a09f5a..1eb67b3 100644
--- a/grading/userprog/Makefile
+++ b/grading/userprog/Makefile
@@ -93,6 +93,8 @@ clean::
 
 include $(SRCDIR)/Makefile.userprog
 
+# Use -Werror because otherwise there's so much output spew
+# that it's very difficult to pick out warnings.
 CFLAGS += -Werror
 
 Makefile: Make.base Make.tests mkmf