From ff70b3c404f872ccd09c64993d472c09a88fb9e1 Mon Sep 17 00:00:00 2001
From: Rene Milk <rene.milk@uni-muenster.de>
Date: Fri, 16 Oct 2015 15:08:24 +0200
Subject: [PATCH] [travis] a couple more debug greps
---
.travis.yml | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/.travis.yml b/.travis.yml
index 99da569c8..10e8e9682 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -64,10 +64,12 @@ before_install:
install:
- cd $HOME/src
- pip install --user cpp-coveralls
- - grep -R $HOME/src/dune-grid ${DUNE_BUILD_DIR}
+ - grep -R $HOME/src/dune-grid ${DUNE_BUILD_DIR} || echo no $HOME/src/dune-grid pre-make
- ./dune-common/bin/dunecontrol ${DCONTROL_ARG} all
+ - grep -R $HOME/src/dune-grid ${DUNE_BUILD_DIR} || echo no $HOME/src/dune-grid post-make
- ./dune-common/bin/dunecontrol ${DCONTROL_ARG} make install > /dev/null
- - rm -rf ~/{dune_build,src}
+ - grep -R $HOME/src/dune-grid ${DUNE_BUILD_DIR} || echo no $HOME/src/dune-grid post-install
+ - rm -rf ${DUNE_BUILD_DIR} $HOME/src
# # command to run tests
script:
--
GitLab