[ library(time_log) | Reference Manual | Alphabetic Index ]
collate_time_logs(++Directory, ++Package, ++Embedding, ++MasterLogFile)
Collate local time logs into master log
- Root test directory
- ECLiPSe package used
- ECLiPSe embedding used
- Master log file
Collates all the temporary administrative files in the directory
tree specified and logs them to the specified master log file.
Package specifies which ECLiPSe package was used, such as `standard'
Embedding specifies which ECLiPSe embedding was used, such as
`standalone' or `java'.