diff options
| -rw-r--r-- | c/Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/c/Makefile.in b/c/Makefile.in index 28792199fc..5c6a1f5926 100644 --- a/c/Makefile.in +++ b/c/Makefile.in @@ -83,6 +83,8 @@ make_src_makefiles: Makefile.in Makefile pre_install_src: env make_src_makefiles cd build-tools/scripts; \ $(MAKE) RTEMS_BSP=${RTEMS_BSP} install-exec-local + cd build-tools/src; \ + $(MAKE) RTEMS_BSP=${RTEMS_BSP} install-exec-local @echo "Order of preinstall directories" cat make_src_makefiles @echo |