Comment.

[pintos-anon] / grading / userprog / Make.base

diff --git a/grading/userprog/Make.base b/grading/userprog/Make.base
index 365ef6c0f7ae35f0d202971168da82b82fca9af1..77c580d13a107bab584a21400a1ce2709f12a920 100644 (file)
--- a/grading/userprog/Make.base
+++ b/grading/userprog/Make.base
@@ -23,6 +23,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