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 \

Reply via email to