}
print("Output file: " + this.target);
- if (this.debugTarget.length > 0) {
- print("Output debug file: " + this.debugTarget);
+ if (this.targetDebug.length > 0) {
+ print("Output debug file: " + this.targetDebug);
}
tr.sepIdents = true;
tr.collapseWhite = false;
tr.filename = fn;
-
- this.timerPrint("START" + fn);
-
+
// we can load translation map here...
var toks = tr.tokenize(new TextStream(str)); // dont merge xxx + . + yyyy etc.