[Rock-dev] [rock] #88: orocos.rb: missleading error message if valgrind is not installed

[rock]

#88: orocos.rb: missleading error message if valgrind is not installed
-----------------------------+-----------------------------------
  Reporter:  Alexander.Duda  |      Owner:  rock-dev-mailing-list
      Type:  defect          |     Status:  closed
  Priority:  major           |  Component:  toolchain
Resolution:  fixed           |   Keywords:
-----------------------------+-----------------------------------
Changes (by thro02):

 * status:  new => closed
 * resolution:   => fixed


Comment:

 Fixed in orocos.rb commit: ba7e7

-- 
Ticket URL: <https://rock.opendfki.de/ticket/88#comment:1>
rock <https://rock.opendfki.de>
rock: the robot construction kit