Bug#844148: acl2: FTBFS: certification failed directory

[Aurelien Jarno <aurelien@aurel32.net>]

control: reassign 844148 acl2

On 2016-11-14 11:24, Camm Maguire wrote:
> reassign 844148 glibc
> thanks
> 
> Greetings, and thanks so much for your report!
> 
> Neither ACL2 nor underlying gcl makes any use of threads or locks, but
> does rely on standard libc calls, which are known to turn on code in TSX
> environments that still have bugs.  GCL does make use of setjmp/longjmp
> and volatile declarations which might appear similar but in no way are
> cpu specific.

Sorry but that's not a reason for reassigning the bug to the glibc
package. The same way I can say that the GNU libc doesn't have bugs in
the TSX code, so I am just reassigning the bug back to acl2.

Aurelien

-- 
Aurelien Jarno                          GPG: 4096R/1DDD8C9B
aurelien@aurel32.net                 http://www.aurel32.net