> Zipped, it's a 500k file, so I'm sending it to Masamichi privately.

I've received it.
Thank you.

Maybe, there is no gawk in your system.
I've installed gawk to ubuntu by the following command.

$ sudo apt-get install gawk

Would you try the following commands?

$ bin/gub tools::gawk
$ bin/gub linux-x86::cross/gcc-core

If succeed this, I'll add the dependency.

_______________________________________________
bug-lilypond mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-lilypond

Reply via email to