Issues found in current buildd logs for cbmc:
- W dpkg-buildflags-missing CPPFLAGS 2 (of 1030), CXXFLAGS 2 (of 1029) missing (hppa, hurd-i386, loong64)
- W dpkg-buildflags-missing CPPFLAGS 2 (of 1164), CXXFLAGS 2 (of 1163) missing (alpha, arm64, armel, armhf, i386, mips64el, powerpc, ppc64, ppc64el, riscv64, s390x, sparc64, x32)
- W dpkg-buildflags-missing CPPFLAGS 2 (of 1169), CXXFLAGS 2 (of 1168) missing (amd64)
- W dpkg-buildflags-missing CPPFLAGS 2 (of 891), CXXFLAGS 2 (of 890) missing (m68k, sh4)
Scanned logs (date is the date the log was generated, not the date it was scanned):
- alpha 6.1.1-2 2024-08-06 04:59
- amd64 6.1.1-2 2024-08-02 14:43
- arm64 6.1.1-2 2024-08-02 16:19
- armel 6.1.1-2 2024-08-02 15:41
- armhf 6.1.1-2 2024-08-02 14:09
- hppa 6.1.1-2 2024-08-02 20:35
- hurd-i386 6.1.1-2 2024-08-03 03:24
- i386 6.1.1-2 2024-08-02 14:21
- loong64 6.1.1-2 2024-08-02 14:09
- m68k 6.1.1-2 2024-08-03 00:30
- mips64el 6.1.1-2 2024-08-04 00:38
- powerpc 6.1.1-2 2024-08-02 14:32
- ppc64 6.1.1-2 2024-08-02 14:42
- ppc64el 6.1.1-2 2024-08-02 14:00
- riscv64 6.1.1-2 2024-08-03 12:24
- s390x 6.1.1-2 2024-08-02 17:10
- sh4 6.1.1-2 2024-08-02 23:50
- sparc64 6.1.1-2 2024-08-02 18:29
- x32 6.1.1-2 2024-08-02 15:03