diff --git a/debian/tools/patchupdate.py b/debian/tools/patchupdate.py index ef8c736e..5a66bb2b 100755 --- a/debian/tools/patchupdate.py +++ b/debian/tools/patchupdate.py @@ -224,6 +224,8 @@ def generate_makefile(patches, fp): fp.write("abort:\n") fp.write("\trm -f *.ok\n") fp.write("\n") + fp.write(".NOTPARALLEL:\n") + fp.write("\n") for i, patch in patches.iteritems(): fp.write("# Patchset %s\n" % patch.name) diff --git a/patches/Makefile b/patches/Makefile index 78752f25..8492658d 100644 --- a/patches/Makefile +++ b/patches/Makefile @@ -34,6 +34,8 @@ install: $(PATCHLIST) abort: rm -f *.ok +.NOTPARALLEL: + # Patchset 00-Commandline # | # | Included patches: