no-debug.patch

   1 as pld sets CMAKE_BUILD_TYPE to PLD, conditions like this fail:
   2
   3 if (${CMAKE_BUILD_TYPE} MATCHES "Release")
   4
   5 mabe PLDRelease would do better?
   6
   7 --- hhvm/CMake/HPHPSetup.cmake~ 2014-01-07 22:15:26.600836165 +0200
   8 +++ hhvm/CMake/HPHPSetup.cmake  2014-01-07 22:46:26.036361039 +0200
   9 @@ -69,7 +69,7 @@
  10         add_definitions(-D_GNU_SOURCE)
  11  endif()
  12
  13 -if(${CMAKE_BUILD_TYPE} MATCHES "Release")
  14 +if(NOT ${CMAKE_BUILD_TYPE} MATCHES "Debug")
  15         add_definitions(-DRELEASE=1)
  16         add_definitions(-DNDEBUG)
  17         message("Generating Release build")