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/generate-nsis-version.pl | |
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/generate-nsis-version.pl')
0 files changed, 0 insertions, 0 deletions