No longer delete headers from parameter; they aren't there anymore

This commit is contained in:
Peter Dimov
2018-10-15 03:13:01 +03:00
parent 2161ba7c24
commit c9bfab5b6c

View File

@@ -122,8 +122,6 @@ install:
- mkdir -p libs/parameter_python
- cp -r $TRAVIS_BUILD_DIR/* libs/parameter_python
- python tools/boostdep/depinst/depinst.py parameter_python
- rm libs/parameter/include/boost/parameter/python.hpp
- rm -rf libs/parameter/include/boost/parameter/aux_/python
- ./bootstrap.sh
- ./b2 headers