From 7837a76c344b64e925519dd5e26233bb3b648beb Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Mon, 3 Apr 2023 11:20:10 +0100 Subject: gentoo auto-resync : 03:04:2023 - 11:20:10 --- sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patch | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patch') diff --git a/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patch b/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patch index 5eba27fd5d0e..fa23a1c32c5c 100644 --- a/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patch +++ b/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patch @@ -4,7 +4,7 @@ # # #################################################################### -+.NOTPARALLEL: notparallel ++.NOTPARALLEL: + VERBOSEMAKE ?= @enable_verbose_make@ -- cgit v1.2.3