Skip to content
Permalink
Browse files

Merge pull request #359 from ngie-eign/fix-freebsd-pump-install

Fix installing pump on FreeBSD with ports
  • Loading branch information...
shawnl committed Aug 14, 2019
2 parents fe1194f + 3aee08c commit 7a1e1660094d7072dab837f3c647d4dd30398a5a
Showing with 1 addition and 1 deletion.
  1. +1 −1 Makefile.in
@@ -1095,7 +1095,7 @@ install-include-server: include-server pump
INCLUDE_SERVER=`grep '/include_server.py$$' "$(include_server_builddir)/install.log"` && \
sed "s,^include_server='',include_server='$$INCLUDE_SERVER'," \
pump > "$(include_server_builddir)/pump" && \
$(INSTALL_PROGRAM) "$(include_server_builddir)/pump" "$(DESTDIR)$(bindir)"; \
$(INSTALL_SCRIPT) "$(include_server_builddir)/pump" "$(DESTDIR)$(bindir)"; \
fi

install-man: $(man1_MEN)

0 comments on commit 7a1e166

Please sign in to comment.
You can’t perform that action at this time.