diff options
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 3603647396..af45a898bd 100644 --- a/configure.in +++ b/configure.in @@ -522,8 +522,13 @@ c/src/Makefile c/src/exec/Makefile c/src/exec/score/Makefile c/src/exec/score/cpu/Makefile -c/src/exec/score/headers/Makefile +c/src/exec/score/include/Makefile +c/src/exec/score/include/rtems/Makefile +c/src/exec/score/include/rtems/wrap/Makefile +c/src/exec/score/include/rtems/score/Makefile c/src/exec/score/${inline_dir}/Makefile +c/src/exec/score/${inline_dir}/rtems/Makefile +c/src/exec/score/${inline_dir}/rtems/score/Makefile c/src/exec/score/src/Makefile c/src/exec/score/tools/Makefile c/src/exec/score/tools/generic/Makefile |