summaryrefslogtreecommitdiff
path: root/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patch
blob: fa23a1c32c5c45b36cf940d81b88624899d93119 (plain)
1
2
3
4
5
6
7
8
9
10
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:
+
 VERBOSEMAKE ?= @enable_verbose_make@
 
 ifeq ($(VERBOSEMAKE),yes)