From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 2 Jan 2005 00:26:52 +0000 (+0000)
Subject: Comment.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=0a966cc4da61e55a805d2eca989b70799d62b8d1

Comment.
---

diff --git a/grading/userprog/Make.base b/grading/userprog/Make.base
index 365ef6c..77c580d 100644
--- 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