From ee8ee9c6118343eeb86bcc9ef91b49da3a3ceab5 Mon Sep 17 00:00:00 2001
From: Thijs Wenker <me@thoys.nl>
Date: Thu, 23 Apr 2020 09:48:09 +0200
Subject: [PATCH] disable build tools
---
.github/workflows/pr_build.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/.github/workflows/pr_build.yml b/.github/workflows/pr_build.yml
index b28e237f96..05f049fae6 100644
--- a/.github/workflows/pr_build.yml
+++ b/.github/workflows/pr_build.yml
@@ -51,6 +51,7 @@ jobs:
echo ::set-env name=PYTHON_EXEC::python3
echo ::set-env name=INSTALLER_EXT::tgz
echo ::set-env name=CMAKE_BUILD_EXTRA::"-- -j3"
+ echo ::set-env name=CMAKE_EXTRA::"-DBUILD_TOOLS:BOOLEAN=FALSE"
fi
# Mac build variables
if [ "${{ matrix.os }}" = "macOS-latest" ]; then