From fffc1dc71eb612b8e85ac5529df6913b0d6c2a4d Mon Sep 17 00:00:00 2001
From: codicodi <rob.ceglinski@gmail.com>
Date: Sun, 4 Dec 2016 19:12:21 +0100
Subject: [PATCH] [lua] no debug tools

---
 ports/lua/portfile.cmake | 1 +
 1 file changed, 1 insertion(+)

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()