From 91d0ce14475bc22762dc4d47f2e906538f7a45a1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Mon, 4 Apr 2016 21:47:16 +0200
Subject: [PATCH] Temporarily disable `raco cover` as it goes Out Of Memory on
 travis-ci :-( .

---
 graph-lib/make/make.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/graph-lib/make/make.rkt b/graph-lib/make/make.rkt
index b33696eb..2121e2e9 100644
--- a/graph-lib/make/make.rkt
+++ b/graph-lib/make/make.rkt
@@ -227,7 +227,7 @@
         "-j" "8"
         ,@(exclude-dirs rkt-files (list "make/"))))
 
-(run! `(,(find-executable-path-or-fail "raco")
+#;(run! `(,(find-executable-path-or-fail "raco")
         "cover"
         "-d" "docs/coverage"
         "-s" "doc"