#372: Syskit: Command line options for gdb and valgrind are ignored
---------------------------------+------------------------------------
Reporter: stpl01 | Owner: rock-dev-mailing-list
Type: defect | Status: closed
Priority: trivial | Milestone:
Component: toolchain | Resolution: invalid
Keywords: Syskit valgrind gdb |
---------------------------------+------------------------------------
Changes (by christian.rauch):
* status: new => closed
* resolution: => invalid
Comment:
The parameter must be given in an array, e.g.:
:valgrind => true, :valgrind_options => !['--tool=callgrind']
Would be nice to have '--tool=callgrind' automatically converted to an
array element.
--
Ticket URL: <https://rock.opendfki.de/ticket/372#comment:1>
rock <https://rock.opendfki.de>
rock: the robot construction kit
_______________________________________________
Rock-dev mailing list
[email protected]
http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev
