[gazebo] 01/02: Explicitly use of external tinyxml copy

[Jose Luis Rivero]

This is an automated email from the git hooks/post-receive script.

jrivero-guest pushed a commit to branch master
in repository gazebo.

commit 0e7b23fa4cb1bccdc0e202c71f95cb64064da1ca
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Tue Mar 15 19:56:35 2016 +0100

    Explicitly use of external tinyxml copy
---
 debian/rules | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/rules b/debian/rules
index 0432f68..dd348ac 100755
--- a/debian/rules
+++ b/debian/rules
@@ -17,6 +17,7 @@ endif
 
 override_dh_auto_configure:
 	dh_auto_configure -- \
+                -DUSE_EXTERNAL_TINYXML:BOOL=False \
                 -DENABLE_TESTS_COMPILATION:BOOL=False \
                 -DUSE_HOST_CFLAGS:BOOL=False \
                 -DUSE_UPSTREAM_CFLAGS:BOOL=False \

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gazebo.git