Add make release target (for internal use only)

[software/mutest.git] / mkmutest

diff --git a/mkmutest b/mkmutest
index 32c0e5adbeaddc8b94c56d8f3deb4c5d30088f73..763cc927dc04ce81b6196f12f97ea4794575fe09 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 -p "$file" | egrep '^[[:xdigit:]]{8} T mu_\w+$' | cut -c12-`
+       symbols=`nm "$file" | egrep '^[[:xdigit:]]{8} T mu_\w+$' | cut -c12-`
        tests=`echo "$symbols" | egrep '^mu_test'`
        inits=`echo "$symbols" | egrep '^mu_init'`
        terms=`echo "$symbols" | egrep '^mu_term'`