Issues found in current buildd logs for cbmc:
- W dpkg-buildflags-missing CPPFLAGS 2 (of 1038), CXXFLAGS 2 (of 1037) missing (hppa)
- W dpkg-buildflags-missing CPPFLAGS 2 (of 1172), CXXFLAGS 2 (of 1171) missing (alpha, arm64, armel, armhf, i386, ia64, mips64el, powerpc, ppc64, ppc64el, riscv64, s390x, sparc64, x32)
- W dpkg-buildflags-missing CPPFLAGS 2 (of 1177), CXXFLAGS 2 (of 1176) missing (amd64)
- W dpkg-buildflags-missing CPPFLAGS 2 (of 898), CXXFLAGS 2 (of 897) missing (m68k, sh4)
Scanned logs (date is the date the log was generated, not the date it was scanned):
- alpha 5.95.1-4 2024-02-22 04:30
- amd64 5.95.1-4 2024-02-19 15:10
- arm64 5.95.1-4 2024-02-19 17:03
- armel 5.95.1-4 2024-02-19 15:00
- armhf 5.95.1-4 2024-02-19 14:57
- hppa 5.95.1-4 2024-02-27 02:13
- i386 5.95.1-4 2024-02-19 15:37
- ia64 5.95.1-4 2024-02-19 18:30
- m68k 5.95.1-4 2024-02-20 00:54
- mips64el 5.95.1-4 2024-02-19 16:25
- powerpc 5.95.1-4 2024-02-19 15:18
- ppc64 5.95.1-4 2024-02-19 15:16
- ppc64el 5.95.1-4 2024-02-19 14:50
- riscv64 5.95.1-4 2024-02-20 04:28
- s390x 5.95.1-4 2024-02-19 14:53
- sh4 5.95.1-4 2024-02-20 00:54
- sparc64 5.95.1-4 2024-02-19 18:47
- x32 5.95.1-4 2024-02-19 15:26