Processing commands for cont...@bugs.debian.org: > reassign 881938 gnat-8 Bug #881938 [src:gcc-7] gnat: call gcc/g++ with system_type Bug reassigned from package 'src:gcc-7' to 'gnat-8'. No longer marked as found in versions gcc-7/7.2.0-16. Ignoring request to alter fixed versions of bug #881938 to the same values previously set > retitle: gnatmake should call gcc/g++ with system_type prefix Unknown command or malformed arguments to command. > thanks Stopping processing here.
Please contact me if you need assistance. -- 881938: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=881938 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems