diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2014-10-13 12:41:24 +0200 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2014-10-13 12:41:24 +0200 |
| commit | cb6e952feaf003ad74e2816f9bdedaac00f1044c (patch) | |
| tree | 92d379002bea1ba19221a674f1b7eb2807470258 /bin/updatebuildmain | |
| parent | 473cf859b7bed776e4b543b5fc68e83c6a8436db (diff) | |
| download | buildscripts-cb6e952feaf003ad74e2816f9bdedaac00f1044c.tar.gz buildscripts-cb6e952feaf003ad74e2816f9bdedaac00f1044c.tar.bz2 buildscripts-cb6e952feaf003ad74e2816f9bdedaac00f1044c.zip | |
test if BUILD_CHROOT/proc is still mounted -> assume a running build and wait for 30secs
Diffstat (limited to 'bin/updatebuildmain')
0 files changed, 0 insertions, 0 deletions