From e8d4af8723af37171d862c8ca3156838e657da9a Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Thu, 5 Jan 2017 09:09:24 +0100 Subject: [PATCH] chore(CMakeLists): remove unused HAVE_UNISTD check --- src/CMakeLists.txt | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index b073159156..e854a8060a 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -142,9 +142,6 @@ if (${CMAKE_SYSTEM_NAME} MATCHES "Linux") set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fPIC") endif() -include(CheckIncludeFileCXX) -check_include_file_cxx("unistd.h" HAVE_UNISTD) - if (IGNORE_SORRY) message(STATUS "IGNORE_SORRY is ON, Lean will not report when 'sorry' is used directly or indirectly") set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -D LEAN_IGNORE_SORRY")