Re: [PATCH gnumach] Support GCC 7

[Samuel Thibault]

David Michael, on sam. 06 mai 2017 12:13:01 -0700, wrote:
> * Makefile.am (clib_routines): Add __udivmoddi4.
> * linux/src/include/linux/compiler-gcc7.h: New file.

Applied, thanks!

Samuel