Job 1447

CakeML:73252d5c4c2528762a4c0a653936003f8fa80602
  Get some files to build using developers/fix_scripts.sml [Jan 22 21:34:33]
HOL:bc19c02fccfaad188f632f362b283743827faa72
  Fix another lassie Holmakefile to use right "signal file" [Jan 21 05:07:07]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Jan 22 21:51:45 Claimed job
Jan 22 21:51:48 Reusing HOL