From 2161ba7c24bd224e0886d0bb7424f7f783f7d773 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@pdimov.com>
Date: Sun, 14 Oct 2018 18:24:11 +0300
Subject: [PATCH] Delete the duplicated headers from parameter/ in .travis.yml

---
 .travis.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 69052ca..5acb225 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -121,7 +121,9 @@ install:
   - git submodule update --init tools/boostdep
   - mkdir -p libs/parameter_python
   - cp -r $TRAVIS_BUILD_DIR/* libs/parameter_python
-  - python tools/boostdep/depinst/depinst.py parameter
+  - 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