diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2019-11-25 16:27:05 -0500 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2019-11-25 16:23:36 -0500 |
| commit | fabd71076cd9493bd2d30a198467f5ea621b27aa (patch) | |
| tree | 44a5aa9a52e452b44b704002f7e74b5b936422a9 /ci | |
| parent | fad9fdbea5dfb19328282afda9588edc6f1d0ddf (diff) | |
ci: Print free disk space
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 |