(tool, ...strings)
| 54 | super(path) |
| 55 | } |
| 56 | echo(tool, ...strings) { |
| 57 | if (tool.windows) |
| 58 | this.write("\t@echo # "); |
| 59 | else |
| 60 | this.write("\t@echo '# "); |
| 61 | for (var string of strings) |
| 62 | this.write(string); |
| 63 | if (tool.windows) |
| 64 | this.write("\n"); |
| 65 | else |
| 66 | this.write("'\n"); |
| 67 | } |
| 68 | escapePathSpaces(path) { |
| 69 | return path.replace(/ /g, "\\ ") |
| 70 | } |
no test coverage detected