commit | 345affe06343cf6ed038f9d82fceb9b1ea3354b6 | [log] [tgz] |
---|---|---|
author | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sun Dec 21 17:31:54 2014 +0000 |
committer | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sun Dec 21 17:31:54 2014 +0000 |
tree | 41baad33f8e0cef27660d740e34886b10c4234ad | |
parent | 8bf9f368edc7d86fc9396fe5efc5c178ffd3ab31 [diff] |
Follow up to rev 14823: make errors when reporting command line non critical (as e.g. cmdline reporting is not available on MacOS) git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14827 a5019735-40e9-0310-863c-91ae7b9d1cf9