diff --git a/.travis.yml b/.travis.yml
index ea51e16b0..eeed3c182 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -17,7 +17,7 @@ script:
   - tar -czf libhermit_0.1.orig.tar.gz libhermit-0.1 --exclude=.git
   - cd libhermit-0.1
   - debuild -e PATH -us -uc -j2
-  - x86_64-hermit-readelf -a kernel/main.o
+  - x86_64-hermit-readelf -a kernel/main.o | grep ABI
 
 deploy:
   on: production