Job 2930

CakeML:977c9e26409b6e13567e4ccc40d38f97a7018e25
  Update build-* in developers to cope with icing/flover changes [Aug 21 01:42:00]
#1210 (revisedFloats)
Merging into:786090f5e6275158b2b6020250c42733e42ed6dd
  Merge pull request #1217 from CakeML/pancake_globals [Aug 20 10:55:37]
HOL:466a40abe43a384327cf9fd1ada840fa176b961d
  Change bossLib.oneline to preserve input hypotheses as hypotheses [Aug 02 07:09:04]
Machine:lammmington

Aug 21 06:07:14 Claimed job
Aug 21 06:07:18 Reusing HOL
Aug 21 06:07:26 Starting developers
Aug 21 06:07:27 FAILED: developers
Starting work on lint_build_dirs
lint_build_dirs                                                     (0s)     OK
Starting work on lint
lint                                                                (0s)     OK
readme_gen                                                          (0s)     OK
Starting work on README.md
README.md                                                           (0s)FAIL<1>
 Checking: /scratch/cakeml/regression3/cakeml-2930
 ERROR! readme_gen.sml failed due to:
 icing: unable to open file: /scratch/cakeml/regression3/cakeml-2930/icing/README.md
 These errors were in: /scratch/cakeml/regression3/cakeml-2930
 
 Full log: /scratch/cakeml/regression3/cakeml-2930/developers/.hol/logs/README.md