From f3a7e1b6ee2410a0036b391bc5e2c0ef4fc61213 Mon Sep 17 00:00:00 2001
From: thierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Date: Wed, 11 Jun 2008 06:41:37 +0000
Subject: [PATCH] discard current pid

---
 scripts/all-modules.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/scripts/all-modules.sh b/scripts/all-modules.sh
index 9a8387f..a43dd8a 100755
--- a/scripts/all-modules.sh
+++ b/scripts/all-modules.sh
@@ -10,7 +10,8 @@
 # when the svn server has problems, this can very well last quite a while
 
 COMMAND=$(basename $0)
-running=$(pgrep $COMMAND 2> /dev/null)
+pid=$$
+running=$(pgrep $COMMAND 2> /dev/null | grep -v "^${pid}"'^' )
 # bail out if another instance is already running
 [ -n "$running" ] && exit 1
 
-- 
2.43.0