| 144 | } |
| 145 | |
| 146 | void dumpstring(FILE *f, char *s, int quotes, int quote_quotes) |
| 147 | { |
| 148 | if (quotes) |
| 149 | fprintf(f, "'"); |
| 150 | while (*s) { |
| 151 | if (*s == '\'' && quote_quotes) |
| 152 | fprintf(f, "''"); |
| 153 | else |
| 154 | fprintf(f, "%c", *s); |
| 155 | s++; |
| 156 | } |
| 157 | if (quotes) |
| 158 | fprintf(f, "'"); |
| 159 | } |
| 160 | |
| 161 | #define verbose_print(fmt, args...) \ |
| 162 | do { \ |