diff options
Diffstat (limited to 'cpukit/score/cpu/arm/headers.am')
| -rw-r--r-- | cpukit/score/cpu/arm/headers.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cpukit/score/cpu/arm/headers.am b/cpukit/score/cpu/arm/headers.am index 6325328189..9bbc7015b9 100644 --- a/cpukit/score/cpu/arm/headers.am +++ b/cpukit/score/cpu/arm/headers.am @@ -21,3 +21,4 @@ include_rtems_score_HEADERS += include/rtems/score/cpu.h include_rtems_score_HEADERS += include/rtems/score/cpu_asm.h include_rtems_score_HEADERS += include/rtems/score/cpuatomic.h include_rtems_score_HEADERS += include/rtems/score/cpuimpl.h +include_rtems_score_HEADERS += include/rtems/score/paravirt.h |