var str = File.read(minfile);
print("using MIN FILE "+ minfile);
if (str.length) {
- if (this.target) {
- this.debugTarget.write(file_contents);
-
- File.append(this.target, '//' + file + "\n");
- File.append(this.target, str + "\n");
+ if (this.targetStream != null) {
+ this.targetStream.write("//" + file + "\n");
+ this.targetStream.write(str + "\n");
+
} else {
this.out += '//' + file + "\n";
this.out += str + "\n";