diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 8eaa7cffb..4d98c1f8f 100644 --- a/Makefile.in +++ b/Makefile.in @@ -246,6 +246,15 @@ ifeq ($(DOPIC),y) fi endif endif +ifeq ($(HAVE_SHARED_FLAT),y) + for file in lib/lib*.gdb; do \ + if test -f $$file; then \ + $(INSTALL) -m 755 $$file $(PREFIX)$(DEVEL_PREFIX)lib; \ + $(INSTALL) -m 755 `echo $$file | sed 's/\.gdb$$//'` \ + $(PREFIX)$(DEVEL_PREFIX)lib; \ + fi; \ + done +endif # Installs run-time libraries install_runtime: |