#2730: Move tools/build/* to RTEMS tools repository
-----------------------------+-------------------
Reporter: sebastian.huber | Owner:
Type: defect | Status: new
Priority: normal | Milestone: 4.12
Component: General | Version: 4.10
Severity: normal | Resolution:
Keywords: |
-----------------------------+-------------------
Comment (by Sebastian Huber <sebastian.huber@…>):
In [changeset:"2f3d8040cad8c0dbf45647a695dc86b46fc13350/rtems"]:
{{{
#!CommitTicketReference repository="rtems"
revision="2f3d8040cad8c0dbf45647a695dc86b46fc13350"
tools: Delete unused binpatch
This was a no-install binary apparently unused.
Update #2730.
}}}
--
Ticket URL: <http://devel.rtems.org/ticket/2730#comment:2>
RTEMS Project <http://www.rtems.org/>
RTEMS Project
_______________________________________________
bugs mailing list
[email protected]
http://lists.rtems.org/mailman/listinfo/bugs
