diff options
author | Peter Dimov <pdimov@gmail.com> | 2018-12-15 02:00:10 +0200 |
---|---|---|
committer | Peter Dimov <pdimov@gmail.com> | 2018-12-15 02:00:10 +0200 |
commit | fe5cc16734bfe55c22d892fe46a1fc8f01183186 (patch) | |
tree | b00fcc7741c056f647bded87a390a64a2d0d82a9 | |
parent | 62807a509887b81c50832b66eb6bd9fcc956d01a (diff) | |
download | boost-fe5cc16734bfe55c22d892fe46a1fc8f01183186.tar.gz |
Remove version parameter from boost-install; update headers and boost-install
-rw-r--r-- | Jamroot | 2 | ||||
m--------- | libs/headers | 0 | ||||
m--------- | tools/boost_install | 0 |
3 files changed, 1 insertions, 1 deletions
@@ -299,7 +299,7 @@ if [ path.exists $(BOOST_ROOT)/libs/wave/tool/build ] rule boost-install ( libraries * ) { - boost-install.boost-install $(BOOST_VERSION) : $(libraries) ; + boost-install.boost-install $(libraries) ; } # Creates a library target, adding autolink support and also creates diff --git a/libs/headers b/libs/headers -Subproject 9d691a95bfabe8241efd14ae5bb515e9058092c +Subproject 2a9bb36fbf17048d82fbe6b85d58d7d6ee13145 diff --git a/tools/boost_install b/tools/boost_install -Subproject cb97f7e754642c4054e1d432e9fcd0ba8b6af33 +Subproject 580fae5dcbc4b8d879f0ea1ad7bc7afa8a50609 |