[gazebo] 04/05: Remove patch, merged upstream

[Jose Luis Rivero]

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

jrivero-guest pushed a commit to tag debian/5.0.1+dfsg-1_exp2
in repository gazebo.

commit 9d2296ff61258fa5ae11d0d67ca46b17af38f8e6
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Wed Mar 25 15:08:23 2015 +0100

    Remove patch, merged upstream
---
 debian/patches/0003-respect-cmake-c-flags.patch | 17 -----------------
 debian/patches/series                           |  1 -
 2 files changed, 18 deletions(-)

diff --git a/debian/patches/0003-respect-cmake-c-flags.patch b/debian/patches/0003-respect-cmake-c-flags.patch
deleted file mode 100644
index f37a7e3..0000000
--- a/debian/patches/0003-respect-cmake-c-flags.patch
+++ /dev/null
@@ -1,17 +0,0 @@
-Description: do not unset CMAKE_C*_FLAGS
-Author: Jose Luis Rivero <jrivero at osrfoundation.org>
-Forwarded: no
-
-diff --git a/CMakeLists.txt b/CMakeLists.txt
-index 63ea6f7..d5406f9 100644
---- a/CMakeLists.txt
-+++ b/CMakeLists.txt
-@@ -181,8 +181,6 @@ endif()
- 
- #####################################
- # Handle CFlags
--unset (CMAKE_C_FLAGS_ALL CACHE)
--unset (CMAKE_CXX_FLAGS CACHE)
- 
- # USE_HOST_CFLAGS (default TRUE)
- # Will check building host machine for proper cflags
diff --git a/debian/patches/series b/debian/patches/series
index 093cd86..ffc30a5 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,6 +1,5 @@
 0001-remove-baemuk-license.patch
 0002-missing-license-files.patch
-0003-respect-cmake-c-flags.patch
 0004-update-ann-copyright.patch
 0005-fix-problems-on-manpage.patch
 0006-remove-maiden-font.patch

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