diff --git a/.travis.yml b/.travis.yml
index f80298cfb..3b1c7d670 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -20,6 +20,7 @@ script:
   - cmake ..
   - make -j1 package
   - cd $TRAVIS_BUILD_DIR
+  - ls -la /home/travis/build/RWTH-OS/HermitCore/build/local_prefix/opt/hermit/bin/
   - ./tests.sh
 
 notifications: