diff options
Diffstat (limited to 'vendor')
m--------- | vendor/optional | 0 | ||||
-rw-r--r-- | vendor/optional-files.json | 8 | ||||
-rw-r--r-- | vendor/optional.cmake | 2 |
3 files changed, 9 insertions, 1 deletions
diff --git a/vendor/optional b/vendor/optional -Subproject 5f08e2e2012398b9511ba15506611d7e36e8930 +Subproject f6249e7fdcb80131c390a083f1621d96023e72e diff --git a/vendor/optional-files.json b/vendor/optional-files.json new file mode 100644 index 0000000000..4d62a8903c --- /dev/null +++ b/vendor/optional-files.json @@ -0,0 +1,8 @@ +{ + "//": "This file is generated. Do not edit. Regenerate it with scripts/generate-file-lists.js", + "sources": [], + "public_headers": { + "optional.hpp": "vendor/optional/optional.hpp" + }, + "private_headers": {} +} diff --git a/vendor/optional.cmake b/vendor/optional.cmake index ed7bfe8a38..f4b379d3df 100644 --- a/vendor/optional.cmake +++ b/vendor/optional.cmake @@ -1,5 +1,5 @@ add_library(optional INTERFACE) target_include_directories(optional SYSTEM INTERFACE - ${CMAKE_SOURCE_DIR}/vendor/optional/include + ${CMAKE_SOURCE_DIR}/vendor/optional ) |