Merge remote-tracking branch 'private/port-gcc-restart' into port-gcc-restart

2019-12-27 19:52:01 +01:00
parent ef4aafa403 540a07726f
commit 611044fcc8
5 changed files with 11 additions and 6 deletions
--- a/cross/patch/gcc.patch
+++ b/cross/patch/gcc.patch
@ -11,6 +11,7 @@ index ddd3b8f..702aa59 100644
 +  gnu_ld=yes
 +  tmake_file=t-jehanne
 +  extra_objs="${extra_objs} jehanne.o"
+  extra_gcc_objs="${extra_gcc_objs} jehanne.o"
 +  default_use_cxa_atexit=yes
 +  case $target in
 +  x86_64-*)