make makefile verbose again

2020-03-28 10:05:38 -04:00 · 2020-03-28 10:05:38 -04:00 · 35bfc84684
parent d608611c87
commit 35bfc84684
1 changed files with 1 additions and 1 deletions
--- a/.travis.sh
+++ b/.travis.sh
@ -63,7 +63,7 @@ function configure()
      -DGTSAM_BUILD_EXAMPLES_ALWAYS=${GTSAM_BUILD_EXAMPLES_ALWAYS:-ON} \
      -DGTSAM_ALLOW_DEPRECATED_SINCE_V4=${GTSAM_ALLOW_DEPRECATED_SINCE_V4:-OFF} \
      -DGTSAM_BUILD_WITH_MARCH_NATIVE=OFF \
-      -DCMAKE_VERBOSE_MAKEFILE=OFF
+      -DCMAKE_VERBOSE_MAKEFILE=ON
 }