Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o – Source
| Architecture | Version | Status | For | Buildd | State | Section | Logs | Actions |
|---|---|---|---|---|---|---|---|---|
 armhf ↓ | 8.3dfsg-2 | Build-Attempted | 602d 5h 35m | mb-lxc-01 | out-of-date | math | old | all (4) | giveback |
Tail of log for acl2 on armhf:
/<<PKGBUILDDIR>>/translate.c:29690:11: warning: self-comparison always evaluates to false [-Wtautological-compare]
29690 | if((Cnil)!=Cnil){
| ^~
/<<PKGBUILDDIR>>/translate.c:30013:11: warning: self-comparison always evaluates to false [-Wtautological-compare]
30013 | if((Cnil)!=Cnil){
| ^~
/<<PKGBUILDDIR>>/translate.c:30264:11: warning: self-comparison always evaluates to true [-Wtautological-compare]
30264 | if((Cnil)==Cnil){
| ^~
Illegal instruction (core dumped)
make[2]: *** [GNUmakefile:407: compile] Error 132
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make[1]: *** [GNUmakefile:397: full] Error 2
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
make: *** [debian/rules:79: saved_acl2] Error 2