Merge pull request coq-community#35 from gares/patch-2

Avoid race condition when building with -j2 (on coq 8.7)
ybertot · Sep 12, 2017 · 7ab2982 · 7ab2982
2 parents 21b4bac + f8b90ce
commit 7ab2982
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile.in b/Makefile.in
@@ -19,7 +19,7 @@ VERSION=@PACKAGE_VERSION@
 
 BINDIR=@BINDIR@
 
-DPDPLUGIN=./dpdgraph.cmxs ./dpdgraph.vo
+DPDPLUGIN=./dpdgraph.vo
 DPD2DOT=./dpd2dot
 DPDUSAGE=./dpdusage