]> git.ipfire.org Git - thirdparty/valgrind.git/commit
perf/vg_perf --outer-args: either replace the predefined outer args, or append to it.
authorPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Mon, 24 Oct 2016 13:42:37 +0000 (13:42 +0000)
committerPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Mon, 24 Oct 2016 13:42:37 +0000 (13:42 +0000)
commit4138aabee6488b39d2427e8b4f2efe9a956b7dc3
tree507db04624c0a5fd30353f390706f658bc839083
parentf6d7adf7e983dea468c8cf337630acce902934e3
perf/vg_perf --outer-args:  either replace the predefined outer args, or append to it.
Currently, vg_perf predefines a set of standard outer tool args according to the tool.
These predefined args can be replaced by another set using "--outer-args=xxx yyy zzzz".
But often, we want to add (or override) only a few args.
So, modify vg_perf so that if the first letter of --outer-args is a + character, then
the provided args are appended to the predefined args

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@16104
perf/vg_perf.in