]> git.tuebingen.mpg.de Git - paraslash.git/blobdiff - command_util.sh
Make (most) command handlers static.
[paraslash.git] / command_util.sh
index 1530aee7333ea03a1b2748d85d60ce68c2eae2dd..2bceda43c5dc238b8c0b5c57b1a22e9ae4860505 100755 (executable)
@@ -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