From 32664d1fa79b74e5e00fedf9b37722ac55a7e591 Mon Sep 17 00:00:00 2001 From: Julien Cristau Date: Thu, 19 Feb 2015 10:52:29 +0100 Subject: [PATCH] Fix typo in buildd-reboot Signed-off-by: Julien Cristau --- buildd-reboot | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/buildd-reboot b/buildd-reboot index d77667d..4b0b91f 100755 --- a/buildd-reboot +++ b/buildd-reboot @@ -93,7 +93,7 @@ buildd_wait_and_reboot() { done echo - if pgrep -u buildd -x buildd || pgrep -u buildd2 - x buildd; then + if pgrep -u buildd -x buildd || pgrep -u buildd2 -x buildd; then echo "pidfile is gone, but buildd process still runs" while pgrep -u buildd -x buildd ; do echo -n "." -- 2.30.2