Sebastian Huber 5e05fa0f7b ada: Fix user extension support

2017-12-01 15:21:34 +01:00

..

preinstall.am

…

rtems-barrier.adb

…

rtems-barrier.ads

…

rtems-clock.adb

…

rtems-clock.ads

…

rtems-cpu_usage.ads

…

rtems-event.adb

…

rtems-event.ads

…

rtems-extension.adb

…

rtems-extension.ads

…

rtems-fatal.adb

…

rtems-fatal.ads

…

rtems-interrupt.ads

…

rtems-io.adb

…

rtems-io.ads

…

rtems-message_queue.adb

…

rtems-message_queue.ads

…

rtems-multiprocessing.adb

…

rtems-multiprocessing.ads

…

rtems-object.adb

…

rtems-object.ads

…

rtems-partition.adb

…

rtems-partition.ads

…

rtems-port.adb

…

rtems-port.ads

…

rtems-rate_monotonic.adb

…

rtems-rate_monotonic.ads

…

rtems-region.adb

…

rtems-region.ads

…

rtems-semaphore.adb

…

rtems-semaphore.ads

…

rtems-signal.adb

…

rtems-signal.ads

…

rtems-stack_checker.ads

…

rtems-tasks.adb

…

rtems-tasks.ads

…

rtems-timer.adb

…

rtems-timer.ads

…

rtems.adb

…

rtems.ads

…