Package: acl2 Version: 6.3-6 Usertags: goto-cc During package build, an instance of tail is launched to run in the background, and it is supposed to be killed once that part of the build completes. Yet the assignment of the PID lacks a second $ as escape sign, as can be seen here:
http://sources.debian.net/src/acl2/6.3-6/debian/rules?hl=91#L91 The relevant line is while sleep 1800; do echo Tick; done & k=$$! ; tail -f debian/test.log & l=$! ; \ ^^ Thus the "while sleep" gets killed properly (the escape is in place), but tail -f continues to run beyond the actual build. This breaks builds inside chroots, because the build place cannot be unmounted. Best, Michael
pgpp0dp9UXk_D.pgp
Description: PGP signature
