commit bdbe81be15b78d3edd658f9ce94fdf34ff825aea Author: Georg Baum <b...@lyx.org> Date: Tue Jun 7 21:10:19 2016 +0200
Remove unneeded files from extract.sh We do require less files from boost now. diff --git a/3rdparty/boost/extract.sh b/3rdparty/boost/extract.sh index e1ba8fa..5424177 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 \