Job 1250

CakeML:936c17e5217f2b726ed14a77ed8c38dca6502de0
  Patch a bunch of files for candle [Jun 05 20:25:50]
HOL:ac7497223d5845f2709250fa8fdcb566cbc2e1ae
  emacs-mode: make regexp searching case-sensitive; SOME not a q'fier [Jun 03 04:25:22]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Jun 05 20:45:04 Claimed job
Jun 05 20:45:08 Reusing HOL
Jun 05 20:45:54 Starting developers
Jun 05 20:45:58 FAILED: developers
readme_gen                                      real:    0s  user:    0s     OK
Starting work on README.md
README.md                                       real:    2s  user:    2s     OK
Starting work on README.md
README.md                                       real:    0s  user:    0sFAIL<1>
 ERROR! readme_gen.sml failed due to:
 fix_scripts.sml: file must start with (*
 These errors were in: /home/cake/oven/regression/cakeml-1250/developers