3rd-party/catch2
1
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2024-11-22 13:26:10 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fix installation of extra utilities

Browse Source
This commit is contained in:
Martin Hořeňovský 2020-05-06 21:21:08 +02:00
parent 7c816c7c0b
commit 9766a7b200
No known key found for this signature in database
GPG Key ID: DE48307B8B0D381A
1 changed files with 19 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
CMakeLists.txt
View File

@ -134,7 +134,7 @@ if (NOT_SUBPROJECT)
)
endif()
if(CATCH_INSTALL_HELPERS)
if(CATCH_INSTALL_EXTRAS)
# Install CMake scripts
install(
FILES