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

Comment.
---

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