From: Ben Pfaff Date: Sun, 2 Jan 2005 00:26:52 +0000 (+0000) Subject: Comment. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=37554ba0d6fed50ee5c23bfcfb199c20739e8f28;p=pintos-anon 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