Follow up to rev 14823: make errors when reporting command line non critical
commitb25c5ed14c24040b4028915cee7987dab81b8485
authorPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Sun, 21 Dec 2014 17:31:54 +0000 (21 17:31 +0000)
committerPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Sun, 21 Dec 2014 17:31:54 +0000 (21 17:31 +0000)
tree41baad33f8e0cef27660d740e34886b10c4234ad
parentb08bb282f85809b2f1bdd284730f3a52b8cb7009
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
coregrind/vgdb.c