From 8a158de860dd20b8a4ac9f9b8adc6317ba8d738c Mon Sep 17 00:00:00 2001 From: Alfredo Tupone Date: Mon, 3 Apr 2023 08:20:30 +0200 Subject: sci-mathematics/why3-for-spark: fix NOTPARALLEL Signed-off-by: Alfredo Tupone --- sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patch | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'sci-mathematics') 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-65-gdbad