diff options
| -rw-r--r-- | Makefile.pre.in | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Makefile.pre.in b/Makefile.pre.in index dde1e4b..43d1dad 100644 --- a/Makefile.pre.in +++ b/Makefile.pre.in @@ -494,9 +494,10 @@ DESTDIRS= $(exec_prefix) $(LIBDIR) $(BINLIBDEST) $(DESTSHARED) oldsharedinstall: $(DESTSHARED) $(SHAREDMODS) @for i in X $(SHAREDMODS); do \ - if test $$i != X; \ - then $(INSTALL_SHARED) $$i $(DESTSHARED)/$$i; \ - fi; \ + if test $$i != X; then \ + echo $(INSTALL_SHARED) $$i $(DESTSHARED)/`basename $$i`; \ + $(INSTALL_SHARED) $$i $(DESTSHARED)/`basename $$i`; \ + fi; \ done $(DESTSHARED): |