From 63f94e8434357ec4edfda3acc480355ae480ad47 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sun, 19 Feb 2017 13:03:44 +0100
Subject: [PATCH] show disk space on travis

---
 .travis.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.travis.yml b/.travis.yml
index 5923d0d00..2668108fd 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -14,6 +14,7 @@ before_install:
   - git submodule update --init lwip usr/libomp
 
 script:
+  - df -H
   - cd ..
   - mv HermitCore libhermit-0.1
   - tar -czf libhermit_0.1.orig.tar.gz libhermit-0.1 --exclude=.git