[Rock-dev] [rock] #8: Orogen failing with wrong error message in case /tmp is full

[rock]

#8: Orogen failing with wrong error message in case /tmp is full
---------------------+----------------------------
  Reporter:  jama01  |      Owner:  sylvain.joyeux
      Type:  defect  |     Status:  new
  Priority:  minor   |  Component:  toolchain
Resolution:          |   Keywords:
---------------------+----------------------------

Comment (by thro02):

 Fixed in tools/typelib commit: dd115

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