]> git.ipfire.org Git - thirdparty/valgrind.git/commit
projects / thirdparty / valgrind.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2184f38) | patch
Better checking for command line options that should be either 'yes'
authorJulian Seward <jseward@acm.org>
Tue, 17 May 2011 16:29:29 +0000 (16:29 +0000)
committerJulian Seward <jseward@acm.org>
Tue, 17 May 2011 16:29:29 +0000 (16:29 +0000)
commitb1a67076a2dd6397bd4e4e7ed24f7de922893338
tree66a3926be4bd33a830ecc9f441243af749cf8258tree
parent2184f38863a8a4d5c271c52b299742fe3c45b378commit | diff
Better checking for command line options that should be either 'yes'
or 'no'.  Fixes #269144.  (a125246@prtnx.com, Florian Krohm
<britzel@acm.org>)

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11767
include/pub_tool_options.h diff | blob | blame | history
Mirror of https://sourceware.org/git/valgrind.git