diff options
| -rw-r--r-- | config/conclude.in | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/config/conclude.in b/config/conclude.in index 07b94f3..cb88ec3 100644 --- a/config/conclude.in +++ b/config/conclude.in @@ -36,11 +36,15 @@ install: $(LIB) $(PUB_HDR) $(PROGS) fi @if test -n "$(PUB_HDR)"; then \ test -d $(includedir) || mkdir $(includedir) || exit 1; \ - (set -x; $(INSTALL_DATA) $(PUB_HDR) $(includedir)/. || exit 1); \ + for f in $(PUB_HDR); do \ + (set -x; $(INSTALL_DATA) $$f $(includedir)/. || exit 1); \ + done; \ fi @if test -n "$(PROGS)"; then \ test -d $(bindir) || mkdir $(bindir) || exit 1; \ - (set -x; $(INSTALL_PROGRAM) $(PROGS) $(bindir)/. || exit 1); \ + for f in $(PROGS); do \ + (set -x; $(INSTALL_PROGRAM) $$f $(bindir)/. || exit 1); \ + done; fi # Removes those things that `make install' (would have) installed. |