204 |
("LOG_FILE", OS.Path.joinBaseExt{base= #outBase spec, ext= SOME "evtlog"}), |
("LOG_FILE", OS.Path.joinBaseExt{base= #outBase spec, ext= SOME "evtlog"}), |
205 |
("PREFIX", #namespace spec), |
("PREFIX", #namespace spec), |
206 |
("SRCFILE", #srcFile spec), |
("SRCFILE", #srcFile spec), |
207 |
|
("DATE", Date.toString(Date.fromTimeLocal(Time.now()))), |
208 |
("PROG_NAME", #outBase spec), |
("PROG_NAME", #outBase spec), |
209 |
("STRAND", Atom.toString name), |
("STRAND", Atom.toString name), |
210 |
("STRANDTY", Atom.toString name ^ "_strand"), |
("STRANDTY", Atom.toString name ^ "_strand"), |