diff --git a/.travis.yml b/.travis.yml
index b3db61be9..e52ae39e9 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -25,6 +25,7 @@ script:
   - if [ "$TRAVIS_BRANCH" != "master" ]; then make test; fi
   - ls -la /tmp
   - cat /tmp/hermit*
+  - ps -aux|grep travis
 
 deploy:
   on: master