[Rock-dev] [rock] #372: Syskit: Command line options for gdb and valgrind are ignored

[rock]

#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