From 7a301bbdcccc622eb64bcb1297964cc1939e5cad Mon Sep 17 00:00:00 2001
From: maier <maier@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Thu, 7 Mar 2013 16:35:59 +0000
Subject: [PATCH] What a bummer. Fix it properly...

git-svn-id: https://svn.dealii.org/branches/branch_cmake@28793 0785d39b-7218-0410-832d-ea1e28bc413d
---
 deal.II/cmake/macros/macro_strip_flag.cmake | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/deal.II/cmake/macros/macro_strip_flag.cmake b/deal.II/cmake/macros/macro_strip_flag.cmake
index 133f033144..5d7fe82a3b 100644
--- a/deal.II/cmake/macros/macro_strip_flag.cmake
+++ b/deal.II/cmake/macros/macro_strip_flag.cmake
@@ -20,8 +20,10 @@
 #
 
 MACRO(STRIP_FLAG _variable _flag)
-  SET(${_variable} "${${_variable}} ")
-  STRING(REPLACE "${_flag} " "" "${_variable}" ${${_variable}})
+  SET(${_variable} " ${${_variable}} ")
+  STRING(REPLACE " " "  " "${_variable}" ${${_variable}})
+  STRING(REPLACE " ${_flag} " "" "${_variable}" ${${_variable}})
+  STRING(REPLACE "  " " " "${_variable}" ${${_variable}})
   STRING(STRIP "${${_variable}}" ${_variable})
 ENDMACRO()
 
-- 
2.39.5