aboutsummaryrefslogtreecommitdiffstats
path: root/testing/idris2/0003-Makefile-Don-t-run-bootstrap-test-on-bootstrap-by-de.patch
diff options
context:
space:
mode:
Diffstat (limited to 'testing/idris2/0003-Makefile-Don-t-run-bootstrap-test-on-bootstrap-by-de.patch')
-rw-r--r--testing/idris2/0003-Makefile-Don-t-run-bootstrap-test-on-bootstrap-by-de.patch25
1 files changed, 25 insertions, 0 deletions
diff --git a/testing/idris2/0003-Makefile-Don-t-run-bootstrap-test-on-bootstrap-by-de.patch b/testing/idris2/0003-Makefile-Don-t-run-bootstrap-test-on-bootstrap-by-de.patch
new file mode 100644
index 0000000000..78d67be037
--- /dev/null
+++ b/testing/idris2/0003-Makefile-Don-t-run-bootstrap-test-on-bootstrap-by-de.patch
@@ -0,0 +1,25 @@
+From 723a0425a399ca5afc04331886a15a5257f69b2f Mon Sep 17 00:00:00 2001
+From: =?UTF-8?q?S=C3=B6ren=20Tempel?= <soeren+git@soeren-tempel.net>
+Date: Sun, 28 Feb 2021 04:31:02 +0100
+Subject: [PATCH] Makefile: Don't run bootstrap-test on bootstrap by default
+
+By default tests are run automatically after bootstrap. Normally, Alpine
+tests are invoked separately in a check stage. To allow doing that this
+patch disable the automatic test invocations during bootstraping.
+---
+ Makefile | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/Makefile b/Makefile
+index 212c3bd3..d3c008a0 100644
+--- a/Makefile
++++ b/Makefile
+@@ -143,7 +143,7 @@ install-libs:
+ .PHONY: bootstrap bootstrap-build bootstrap-racket bootstrap-racket-build bootstrap-test bootstrap-clean
+
+ # Bootstrapping using SCHEME
+-bootstrap: bootstrap-build bootstrap-test
++bootstrap: bootstrap-build
+
+ bootstrap-build: support
+ cp support/c/${IDRIS2_SUPPORT} bootstrap/idris2_app