X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=command_util.sh;h=2bceda43c5dc238b8c0b5c57b1a22e9ae4860505;hp=1530aee7333ea03a1b2748d85d60ce68c2eae2dd;hb=28954781dc61c24189492be040bcdce5372ead51;hpb=ad386453c0a3153783cb8f506f668118e58d0a32

diff --git a/command_util.sh b/command_util.sh
index 1530aee7..2bceda43 100755
--- a/command_util.sh
+++ b/command_util.sh
@@ -173,7 +173,7 @@ make_proto()
 	fi
 	result=
 	for source_file in $source_files; do
-		match=$(grep "^\(__noreturn \)*int com_$name_txt(" $source_file | head -n 1 | sed -e 's/$/;/1')
+		match=$(grep "^\(__noreturn \)*\(static \)*int com_$name_txt(" $source_file | head -n 1 | sed -e 's/$/;/1')
 		if test -n "$match"; then
 			result="$result$match$CR"
 			break