Re: [PATCH gnumach] Support GCC 7

2017-05-07 Thread 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

[PATCH gnumach] Support GCC 7

2017-05-06 Thread David Michael
* Makefile.am (clib_routines): Add __udivmoddi4. * linux/src/include/linux/compiler-gcc7.h: New file. --- Makefile.am | 2 +- linux/src/include/linux/compiler-gcc7.h | 67 + 2 files changed, 68 insertions(+), 1 deletion(-) create mode 1

[PATCH gnumach] Support GCC 7

2017-05-06 Thread David Michael
* Makefile.am (clib_routines): Add __udivmoddi4. * linux/src/include/linux/compiler-gcc7.h: New file. --- Makefile.am | 2 +- linux/src/include/linux/compiler-gcc7.h | 67 + 2 files changed, 68 insertions(+), 1 deletion(-) create mode 1