diff options
-rw-r--r-- | t/txinfo-no-clutter.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/t/txinfo-no-clutter.sh b/t/txinfo-no-clutter.sh index b311f0348..6940aa945 100644 --- a/t/txinfo-no-clutter.sh +++ b/t/txinfo-no-clutter.sh @@ -29,6 +29,10 @@ cat > Makefile.am << 'END' all-local: ps pdf dvi html # For "make distcheck". info_TEXINFOS = foo.texi doc/bar.texi baz.texi SUBDIRS = sub + +# Tell GNU make not to parallelize these, because they +# have overlap between explicit and intermediate .dvi files. +.NOTPARALLEL: END mkdir sub doc |