diff options
Diffstat (limited to 'control')
| -rwxr-xr-x | control/deploy-control-node | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/control/deploy-control-node b/control/deploy-control-node index 642e09e..708f385 100755 --- a/control/deploy-control-node +++ b/control/deploy-control-node @@ -23,7 +23,7 @@ function header() { } header "Deploying linaro-android-mirror" -running_repos=`ps ax|grep bin/repo|grep -v grep` +running_repos=`ps ax|grep bin/repo|grep -v grep || true` if [ -n "$running_repos" ]; then echo "There appear to be mirror operations in progress currently:" echo $running_repos |