diff options
| author | Paul Sokolovsky <paul.sokolovsky@linaro.org> | 2013-12-10 19:07:20 +0200 |
|---|---|---|
| committer | Paul Sokolovsky <paul.sokolovsky@linaro.org> | 2013-12-10 19:07:20 +0200 |
| commit | aee561ce46291ce59297d6b2e3c6f34e0d0db15a (patch) | |
| tree | 8200bafad7cbeb72eaa14d9526abf2e5254f32ee /utils/diskspace/watch-space | |
| parent | 05bf96b681912b6caff4a53ef2187f9172a1d616 (diff) | |
Most of utils migrated to https://git.linaro.org/infrastructure/linaro-jenkins-tools.git
Diffstat (limited to 'utils/diskspace/watch-space')
| -rwxr-xr-x | utils/diskspace/watch-space | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/utils/diskspace/watch-space b/utils/diskspace/watch-space deleted file mode 100755 index afec5ca..0000000 --- a/utils/diskspace/watch-space +++ /dev/null @@ -1,2 +0,0 @@ -#!/bin/sh -df | awk '$6=="/mnt2" {if ($4 < 1000000) print "Less than 1Gb left in JENKINS_HOME: " $4 "Kb"}' |