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

To: Richard Lewis <richard.lewis.debian@googlemail.com>
Cc: packages@qa.debian.org
Subject: 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
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Tue, 01 Jul 2025 21:17:02 +0000
Message-id: <[🔎] handler.s.B1105685.1751404523936311.transcript@bugs.debian.org>
References: <[🔎] CAJ3BuoTuMnsv0FHcLXeWK6-fizq=_LJsFKfZvh_UAF4DDASSrw@mail.gmail.com> <aCOaZC7s4k7aFF37@grub.nussbaum.fr>

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 Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#1105685: splint: FTBFS with make --shuffle=reverse: Headers/flag_codes.h:22:11: fatal error: flag_codes.gen: No such file or directory
  - From: Richard Lewis <richard.lewis.debian@googlemail.com>

Prev by Date: Bug#1105685: splint: FTBFS with make --shuffle=reverse: Headers/flag_codes.h:22:11: fatal error: flag_codes.gen: No such file or directory
Next by Date: Прошу рассмотреть мою кандидатуру (packages@qa.debian.org)
Previous by thread: Bug#1105685: splint: FTBFS with make --shuffle=reverse: Headers/flag_codes.h:22:11: fatal error: flag_codes.gen: No such file or directory
Next by thread: Прошу рассмотреть мою кандидатуру (packages@qa.debian.org)
Index(es):
- Date
- Thread