summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--ocaml/Makefile.am4
1 files changed, 4 insertions, 0 deletions
diff --git a/ocaml/Makefile.am b/ocaml/Makefile.am
index 739e542d..cb4ad347 100644
--- a/ocaml/Makefile.am
+++ b/ocaml/Makefile.am
@@ -95,3 +95,7 @@ install-data-hook:
CLEANFILES += $(noinst_DATA)
endif
+
+# Tell version 3.79 and up of GNU make to not build goals in this
+# directory in parallel. (Possible solution for RHBZ#502309).
+.NOTPARALLEL: