Definitively remove old variable PROJECT_DIRECTORY for CMAKE_HOME_DIRECTORY.

[simgrid.git] / buildtools / Cmake / Option.cmake

diff --git a/buildtools/Cmake/Option.cmake b/buildtools/Cmake/Option.cmake
index 05119b8b36a0df3b9f652cba438b7d4fd002e857..4c657c8eddc01b80cc5b696fa50d436ababcf323 100644 (file)
--- a/buildtools/Cmake/Option.cmake
+++ b/buildtools/Cmake/Option.cmake
@@ -84,4 +84,5 @@ mark_as_advanced(PATH_PCRE_H)
 mark_as_advanced(CMAKE_OSX_ARCHITECTURES)                                                                                                                  
 mark_as_advanced(CMAKE_OSX_DEPLOYMENT_TARGET)                                                                                                              
 mark_as_advanced(CMAKE_OSX_SYSROOT)                                                                         
-mark_as_advanced(GRAS_IS_BROKEN)
\ No newline at end of file
+mark_as_advanced(SED_EXE)
+mark_as_advanced(BIBTEX2HTML)
\ No newline at end of file