diff options
Diffstat (limited to 'sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patch')
-rw-r--r-- | sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patch | 2 |
1 files changed, 1 insertions, 1 deletions
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@ |