From 3e18263d0373f25dca9ac8f164099096def93f6b Mon Sep 17 00:00:00 2001
From: Anonymous Maarten <[EMAIL REDACTED]>
Date: Mon, 19 Jun 2023 05:11:23 +0200
Subject: [PATCH] Oops. I accidentally removed -GNinja
---
packed/index.js | 3 +++
src/main.ts | 3 +++
2 files changed, 6 insertions(+)
diff --git a/packed/index.js b/packed/index.js
index 081b9da..92db0cc 100644
--- a/packed/index.js
+++ b/packed/index.js
@@ -453,6 +453,9 @@ function run() {
if (CMAKE_TOOLCHAIN_FILE) {
cmake_args.push("-DCMAKE_TOOLCHAIN_FILE=\"".concat(CMAKE_TOOLCHAIN_FILE, "\""));
}
+ if (USE_NINJA) {
+ cmake_args.push("-GNinja");
+ }
return [4 /*yield*/, cmake_configure_build({
source_dir: SOURCE_DIR,
build_dir: BUILD_DIR,
diff --git a/src/main.ts b/src/main.ts
index 7eb8841..b61eed9 100644
--- a/src/main.ts
+++ b/src/main.ts
@@ -337,6 +337,9 @@ async function run() {
if (CMAKE_TOOLCHAIN_FILE) {
cmake_args.push(`-DCMAKE_TOOLCHAIN_FILE="${CMAKE_TOOLCHAIN_FILE}"`);
}
+ if (USE_NINJA) {
+ cmake_args.push("-GNinja");
+ }
await cmake_configure_build({
source_dir: SOURCE_DIR,