Allow settings.cmake to be included early

seL4 · Oct 15, 2018 · f08c0cd · f08c0cd
1 parent e344fa7
commit f08c0cd
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -22,8 +22,7 @@ if (NOT "${TUTORIAL_DIR}" STREQUAL "")
     # Save the TUTORIAL_DIR to the cache so that it persists across reruns
     set(TUTORIAL_DIR ${TUTORIAL_DIR} CACHE INTERNAL "")
 
-    # Include cache settings and cmake tutorial helper functions
-    include(cmake/settings.cmake)
+    # Include cmake tutorial helper functions
     include(cmake/helpers.cmake)
 
     # generate tutorial sources into directory

diff --git a/cmake/settings.cmake → settings.cmake b/cmake/settings.cmake → settings.cmake