On Fri, 24 Jul 2020, Jojo R wrote:
> + -csplit insn-$*.c /parallel\ compilation/ -k -s
> {$(insn-generated-split-num)} -f insn-$* -b "%d.c"
> + -( [ ! -s insn-$*0.c ] && for i in {1..$(insn-generated-split-num)}; do
> touch insn-$*$$i.c; done && echo "" > insn-$*.c)Ignoring errors (disk full, out of memory, etc.) here is not appropriate. If csplit fails, the build must fail. -- Joseph S. Myers jos...@codesourcery.com
