print("using MIN FILE %s\n", minfile);
if (str.length > 0) {
if (this.targetStream != null) {
- this.targetStream.write("//" + file + "\n");
- this.targetStream.write(str + "\n");
+ this.targetStream.write(("//" + file + "\n").data);
+ this.targetStream.write((str + "\n").data);
} else {
this.out += "//" + file + "\n";
}
print("Output file: " + this.target);
- if (this.debugTarget) print("Output debug file: " + this.debugTarget);
+ if (this.debugTarget.length > 0) {
+ print("Output debug file: " + this.debugTarget);
+ }