diff options
-rw-r--r-- | modules/ECMOptionalAddSubdirectory.cmake | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/modules/ECMOptionalAddSubdirectory.cmake b/modules/ECMOptionalAddSubdirectory.cmake index 6cf50727..79a533d4 100644 --- a/modules/ECMOptionalAddSubdirectory.cmake +++ b/modules/ECMOptionalAddSubdirectory.cmake @@ -10,7 +10,8 @@ # # This behaves like add_subdirectory(), except that it does not complain if the # directory does not exist. Additionally, if the directory does exist, it -# creates an option to allow the user to skip it. +# creates an option to allow the user to skip it. The option will be named +# BUILD_<dir>. # # This is useful for "meta-projects" that combine several mostly-independent # sub-projects. |