diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-04-02 23:19:01 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-04-02 23:19:01 +0100 |
commit | d288197c01703f58dbea0ff4f42b01e7c4c6f327 (patch) | |
tree | 5a9afa2f3fc3271753649a9b2c3c7045a7e85104 /sci-mathematics/why3-for-spark/files | |
parent | 97310164515a0a048d4f049ae2d3e8d413fb94c6 (diff) |
gentoo auto-resync : 02:04:2023 - 23:19:00
Diffstat (limited to 'sci-mathematics/why3-for-spark/files')
-rw-r--r-- | sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patch | 11 |
1 files changed, 11 insertions, 0 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 new file mode 100644 index 000000000000..5eba27fd5d0e --- /dev/null +++ b/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patch @@ -0,0 +1,11 @@ +--- a/Makefile.in 2023-04-02 22:54:43.160504917 +0200 ++++ b/Makefile.in 2023-04-02 22:55:05.194152231 +0200 +@@ -9,6 +9,8 @@ + # # + #################################################################### + ++.NOTPARALLEL: notparallel ++ + VERBOSEMAKE ?= @enable_verbose_make@ + + ifeq ($(VERBOSEMAKE),yes) |