diff --git a/graph-lib/make/make.rkt b/graph-lib/make/make.rkt
index 8d065977..a5ba0c76 100644
--- a/graph-lib/make/make.rkt
+++ b/graph-lib/make/make.rkt
@@ -205,5 +205,4 @@
         "-s" "test"
         "-f" "html"
         "-f" "coveralls"
-        "-v"
         ,@(exclude-dirs rkt-files (list "make/"))))