Processed (with 2 errors): gnat-4.6: intermittent FTBFS, race condition in Makefiles with too many parallel processes
Processing commands for control@bugs.debian.org:
> retitle 667184 gnat-4.6: intermittent FTBFS, race condition in
Bug #667184 [gnat-4.6] gnat-4.6: ftbfs with GCC-4.7
Changed Bug title to 'gnat-4.6: intermittent FTBFS, race condition in' from 'gnat-4.6: ftbfs with GCC-4.7'
> gnattools/Makefile
Unknown command or malformed arguments to command.
> severity 667184 important
Bug #667184 [gnat-4.6] gnat-4.6: intermittent FTBFS, race condition in
Severity set to 'important' from 'serious'
> user debian-gcc@lists.debian.org
Setting user to debian-gcc@lists.debian.org (was ludovic@ludovic-brenta.org).
> usertags - ftbfs-gcc-4.7
Unknown command or malformed arguments to command.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
667184: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=667184
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: