Fix typo in buildd-reboot

Signed-off-by: Julien Cristau <jcristau@debian.org>

diff --git a/buildd-reboot b/buildd-reboot
index d77667dfa1c627de2dd99ec05907820f9977b077..4b0b91fe05144ce30aff20faf89569beeaac7b76 100755 (executable)
--- 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 "."