diff options
| author | codicodi <rob.ceglinski@gmail.com> | 2016-12-04 19:12:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-04 19:12:21 +0100 |
| commit | fffc1dc71eb612b8e85ac5529df6913b0d6c2a4d (patch) | |
| tree | acd45f35b51e871fc8797871e200662eedb77f81 | |
| parent | fd74c49a5f9b8b2f5e20b82fe19ea273a8820eaa (diff) | |
| download | vcpkg-fffc1dc71eb612b8e85ac5529df6913b0d6c2a4d.tar.gz vcpkg-fffc1dc71eb612b8e85ac5529df6913b0d6c2a4d.zip | |
[lua] no debug tools
| -rw-r--r-- | ports/lua/portfile.cmake | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ports/lua/portfile.cmake b/ports/lua/portfile.cmake index 598b15c94..0778a77f9 100644 --- a/ports/lua/portfile.cmake +++ b/ports/lua/portfile.cmake @@ -21,6 +21,7 @@ vcpkg_configure_cmake( SOURCE_PATH ${SOURCE_PATH} OPTIONS_DEBUG -DSKIP_INSTALL_HEADERS=ON + -DSKIP_INSTALL_TOOLS=ON ) vcpkg_install_cmake() |