Job 2004

CakeML:5bd7688abedf938dff6fe031c407fbe7b43fa334
  Add libmGen to build sequence [Oct 05 08:00:30]
#911 (libm_gen)
Merging into:59e14a942bb54a58350e86539c1953c541eff3f4
  Merge pull request #909 from mktnk3/word_to_word_Pancake [Oct 01 15:44:31]
HOL:3944ad679bfa57b3604d40d089e9bfe9e9b74549
  Remove silly whitespace [Sep 26 23:51:38]
Machine:oven3

Oct 05 08:01:14 Claimed job
Oct 05 08:01:21 Building HOL
Oct 05 08:24:27 Starting developers
Oct 05 08:24:29 FAILED: developers
readme_gen                                                                                                                                                                                            (0s)     OK
Starting work on README.md
README.md                                                                                                                                                                                             (0s)FAIL<1>
 Checking: /local/regression_new/cakeml-2004
 ERROR! readme_gen.sml failed due to:
 tools: unable to open file: /local/regression_new/cakeml-2004/tools/README.md
 These errors were in: /local/regression_new/cakeml-2004