Processed: Re: Bug#1105685: splint: FTBFS with make --shuffle=reverse: Headers/flag_codes.h:22:11: fatal error: flag_codes.gen: No such file or directory

Processing control commands: > tags -1 patch Bug #1105685 [src:splint] splint: FTBFS with make --shuffle=reverse: Headers/flag_codes.h:22:11: fatal error: flag_codes.gen: No such file or directory Added tag(s) patch. -- 1105685: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1105685 Debian

Bug#1105685: splint: FTBFS with make --shuffle=reverse: Headers/flag_codes.h:22:11: fatal error: flag_codes.gen: No such file or directory

control: tags -1 patch On Tue, 13 May 2025, 20:23 Lucas Nussbaum, wrote: > This package fails to build with make --shuffle=reverse. > > Headers/flag_codes.h:22:11: fatal error: flag_codes.gen: No such file or > directory > It looks like you can fix this by adding to src/Makefile.am mapping.o: