[osrm] 07/14: Use renamed CMake option (WITH_TOOLS -> BUILD_TOOLS).

[Sebastiaan Couwenberg]

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

sebastic pushed a commit to branch master
in repository osrm.

commit 7b446f6de871ff62cd2d893b080ab8e0d12a1ff2
Author: Bas Couwenberg <sebastic at xs4all.nl>
Date:   Fri Dec 25 21:29:13 2015 +0100

    Use renamed CMake option (WITH_TOOLS -> BUILD_TOOLS).
---
 debian/changelog | 1 +
 debian/rules     | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 086d91d..6dcc17c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,6 +3,7 @@ osrm (4.9.0+ds-1) UNRELEASED; urgency=medium
   * New upstream release.
   * Add license & copyright for fast-cpp-csv-parser to copyright file.
   * Refresh patches.
+  * Use renamed CMake option (WITH_TOOLS -> BUILD_TOOLS).
 
  -- Bas Couwenberg <sebastic at debian.org>  Fri, 25 Dec 2015 18:44:15 +0100
 
diff --git a/debian/rules b/debian/rules
index c78f702..fa5fc5d 100755
--- a/debian/rules
+++ b/debian/rules
@@ -9,5 +9,5 @@ override_dh_clean:
 	dh_clean util/fingerprint_impl.hpp util/git_sha.cpp
 
 override_dh_auto_configure:
-	dh_auto_configure -- -DWITH_TOOLS=1 -DCMAKE_VERBOSE_MAKEFILE=1
+	dh_auto_configure -- -DBUILD_TOOLS=1 -DCMAKE_VERBOSE_MAKEFILE=1
 

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-grass/osrm.git