diff options
Diffstat (limited to 'ci')
| -rwxr-xr-x | ci/test/04_install.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ci/test/04_install.sh b/ci/test/04_install.sh index ce41c37b6e..5055a72096 100755 --- a/ci/test/04_install.sh +++ b/ci/test/04_install.sh @@ -72,6 +72,8 @@ if [ "$TRAVIS_OS_NAME" == "osx" ]; then else DOCKER_EXEC free -m -h DOCKER_EXEC echo "Number of CPUs \(nproc\):" \$\(nproc\) + DOCKER_EXEC echo "Free disk space:" + DOCKER_EXEC df -h fi if [ -n "$DPKG_ADD_ARCH" ]; then |