In different environments echo seems to handle escape characters differently. When generating the common constraints file, on some systems it outputs the "\n" character as-is. This change switches echo to printf, which is supposed to be more consistent.
7.9 KiB
7.9 KiB