Issues found in current buildd logs for cbmc:
- W dpkg-buildflags-missing CPPFLAGS 2 (of 1031), CXXFLAGS 2 (of 1030) missing (hurd-i386)
- W dpkg-buildflags-missing CPPFLAGS 2 (of 1165), CXXFLAGS 2 (of 1164) missing (arm64, armel, armhf, i386, mips64el, ppc64, ppc64el, riscv64, s390x, sparc64, x32)
- W dpkg-buildflags-missing CPPFLAGS 2 (of 1170), CXXFLAGS 2 (of 1169) missing (amd64)
- W dpkg-buildflags-missing CPPFLAGS 2 (of 892), CXXFLAGS 2 (of 891) missing (sh4)
Scanned logs (date is the date the log was generated, not the date it was scanned):
- amd64 6.0.1-2 2024-07-05 20:35
- arm64 6.0.1-2 2024-07-05 22:12
- armel 6.0.1-2 2024-07-05 20:10
- armhf 6.0.1-2 2024-07-05 20:06
- hurd-i386 6.0.1-2 2024-07-07 18:01
- i386 6.0.1-2 2024-07-05 20:20
- mips64el 6.0.1-2 2024-07-06 03:53
- ppc64 6.0.1-2 2024-07-05 20:36
- ppc64el 6.0.1-2 2024-07-05 20:00
- riscv64 6.0.1-2 2024-07-06 06:06
- s390x 6.0.1-2 2024-07-05 20:10
- sh4 6.0.1-2 2024-07-06 07:24
- sparc64 6.0.1-2 2024-07-06 00:11
- x32 6.0.1-2 2024-07-05 21:01