From d0e908353437c666cd28a3becba875e9d805749b Mon Sep 17 00:00:00 2001
From: Gabriel Nuetzi <gnuetzi@gmail.com>
Date: Sun, 4 Feb 2018 17:42:03 +0100
Subject: [PATCH] ok, now final commit

---
 .travis.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index c39d8c56..0c81d263 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -275,7 +275,6 @@ before_script:
       -DBUILD_WEBSITE_DOCU=$BUILD_DOCU
       -DBUILD_EXAMPLES=$BUILD_EXAMPLES
       -DBUILD_BENCHMARKS=$BUILD_BENCHMARKS
-      -DCMAKE_VERBOSE_MAKEFILE=ON
       ..)
 
 script: