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 e1ba8faafeb0c4492b9d339ad7797930f6e2a11c..5424177945df23e8484b323696404e0085e01034 100755 (executable)
--- 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 \