From bdbe81be15b78d3edd658f9ce94fdf34ff825aea Mon Sep 17 00:00:00 2001 From: Georg Baum Date: Tue, 7 Jun 2016 21:10:19 +0200 Subject: [PATCH] Remove unneeded files from extract.sh We do require less files from boost now. --- 3rdparty/boost/extract.sh | 5 ----- 1 file changed, 5 deletions(-) diff --git a/3rdparty/boost/extract.sh b/3rdparty/boost/extract.sh index e1ba8faafe..5424177945 100755 --- a/3rdparty/boost/extract.sh +++ b/3rdparty/boost/extract.sh @@ -22,16 +22,11 @@ mkdir needed bcp --boost=$1 \ boost/any.hpp \ boost/assert.hpp \ - boost/bind.hpp \ boost/crc.hpp \ boost/cstdint.hpp \ - boost/function.hpp \ - boost/functional.hpp \ boost/lexical_cast.hpp \ - boost/noncopyable.hpp \ boost/regex.hpp \ boost/scoped_ptr.hpp \ - boost/shared_ptr.hpp \ boost/signal.hpp \ boost/signals/connection.hpp \ boost/signals/trackable.hpp \