diff options
Diffstat (limited to 'utils/findmisopt')
-rwxr-xr-x | utils/findmisopt | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/utils/findmisopt b/utils/findmisopt index 955c0c0030..3828c70b12 100755 --- a/utils/findmisopt +++ b/utils/findmisopt @@ -132,6 +132,15 @@ for sw in $all_switches ; do fi done +# Terminate the previous output with a newline +echo "" + +# Determine if we're done because none of the optimizations broke the program +if [ "$switches" == " $all_switches" ] ; then + echo "The program did not miscompile" + exit 0 +fi + final="" while [ ! -z "$switches" ] ; do trimmed=`echo "$switches" | sed -e 's/^ *\(-[^ ]*\).*/\1/'` |