[RTEMS Project] #3254: Reorganize header files to avoid "make preinstall"

[RTEMS trac]

#3254: Reorganize header files to avoid "make preinstall"
-----------------------------+---------------------
 Reporter:  Sebastian Huber  |       Owner:  (none)
     Type:  enhancement      |      Status:  new
 Priority:  normal           |   Milestone:  5.1
Component:  build            |     Version:  5
 Severity:  normal           |  Resolution:
 Keywords:                   |
-----------------------------+---------------------

Comment (by Sebastian Huber <sebastian.huber@…>):

 In [changeset:"e58e29fdb9dc1ba516691d9df373b2bdaa480f51/rtems"
 e58e29f/rtems]:
 {{{
 #!CommitTicketReference repository="rtems"
 revision="e58e29fdb9dc1ba516691d9df373b2bdaa480f51"
 Remove coverhd.h

 This header file contained timing overhead values which are hard to
 maintain.

 Update #3254.
 }}}

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