[RTEMS Project] #4720: Backport rtems-tools fixes

[RTEMS trac]

#4720: Backport rtems-tools fixes
-------------------------+-------------------------
 Reporter:  Chris Johns  |       Owner:  joel@…
     Type:  defect       |      Status:  new
 Priority:  normal       |   Milestone:  Indefinite
Component:  test         |     Version:  5
 Severity:  normal       |  Resolution:
 Keywords:               |  Blocked By:
 Blocking:               |
-------------------------+-------------------------
Changes (by Chris Johns):

 * milestone:  5.2 => Indefinite


--
Ticket URL: <http://devel.rtems.org/ticket/4720#comment:1>
RTEMS Project <http://www.rtems.org/>
RTEMS Project