Render PDF documentation with rst2pdf

[software/mutest.git] / mkmutest

diff --git a/mkmutest b/mkmutest
index 763cc927dc04ce81b6196f12f97ea4794575fe09..88069875182a9730246597c1480e8ec837b33f26 100755 (executable)
--- a/mkmutest
+++ b/mkmutest
@@ -34,7 +34,7 @@ for file in "$@"
 do
        pr_file=`echo "$file" | sed 's/\"/\\\\\"/g'`
        suite=`basename "$file" .o | sed 's/\"/\\\\\"/g'`
-       symbols=`nm "$file" | egrep '^[[:xdigit:]]{8} T mu_\w+$' | cut -c12-`
+       symbols=`nm "$file" | egrep '^[[:xdigit:]]+ T mu_\w+$' | cut -d' ' -f3`
        tests=`echo "$symbols" | egrep '^mu_test'`
        inits=`echo "$symbols" | egrep '^mu_init'`
        terms=`echo "$symbols" | egrep '^mu_term'`