
collate_time_logs(++Directory, ++Package, ++Embedding, ++MasterLogFile)

   Collate local time logs into master log

Arguments
   Directory           Root test directory
   Package             ECLiPSe package used
   Embedding           ECLiPSe embedding used
   MasterLogFile       Master log file

Type
   library(time_log)

Description
    	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'
	or `runtime'.

	Embedding specifies which ECLiPSe embedding was used, such as
	`standalone' or `java'.



