https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98318
--- Comment #8 from Hao Liu <hliu at amperecomputing dot com> --- Hi Nathan, The problem is related to use another make binary, which is 4.2.0 and built by ourselves. Maybe there is a strange bug. Anyway, after using the system installed make (which is 4.2.1 and under /usr/bin/), the problem is solved. Thanks for your help!
