diff options
Diffstat (limited to 'Ports/ninja/patches/0001-Disable-crossbuild.patch')
| -rw-r--r-- | Ports/ninja/patches/0001-Disable-crossbuild.patch | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/Ports/ninja/patches/0001-Disable-crossbuild.patch b/Ports/ninja/patches/0001-Disable-crossbuild.patch new file mode 100644 index 0000000000..b91554c1f1 --- /dev/null +++ b/Ports/ninja/patches/0001-Disable-crossbuild.patch @@ -0,0 +1,26 @@ +From 035b0bf6e03380778803ed7a8703f58906dc41f5 Mon Sep 17 00:00:00 2001 +From: Nico Weber <thakis@chromium.org> +Date: Sun, 21 Jun 2020 18:41:01 -0400 +Subject: [PATCH 1/3] Disable crossbuild + +(?) +--- + configure.py | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/configure.py b/configure.py +index cded265..134db91 100755 +--- a/configure.py ++++ b/configure.py +@@ -687,7 +687,7 @@ n.build('all', 'phony', all_targets) + n.close() + print('wrote %s.' % BUILD_FILENAME) + +-if options.bootstrap: ++if options.bootstrap and False: + print('bootstrap complete. rebuilding...') + + rebuild_args = [] +-- +2.36.1 + |