diff options
Diffstat (limited to 'debian/patches/makefile_enable_parallel.patch')
| -rw-r--r-- | debian/patches/makefile_enable_parallel.patch | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/debian/patches/makefile_enable_parallel.patch b/debian/patches/makefile_enable_parallel.patch new file mode 100644 index 0000000..d310256 --- /dev/null +++ b/debian/patches/makefile_enable_parallel.patch @@ -0,0 +1,17 @@ +From: Lucas Nussbaum <lucas@debian.org> +Last-Update: 2025-05-05 +Bug-Debian: https://bugs.debian.org/1104757 + https://bugs.debian.org/1105348 +Subject: Fix FTBFS with GNUMAKEFLAGS=--shuffle=reverse + +--- a/Makefile ++++ b/Makefile +@@ -106,7 +106,7 @@ endif + flexml-act.l: flexml-act.dtd skel + $(PERL) ./flexml.pl $(FLEXDEBUG) -Lv -ractions -s skel $< + +-flexml-act.c: flexml-act.l ++flexml-act.h flexml-act.c: flexml-act.l + $(FLEX) -B -s -v -oflexml-act.c flexml-act.l + + flexml-act.o: flexml-act.c flexml-act.h |