Job 1840

CakeML:1c24925dde3aebca0c5babd00400ec7efa5caab7
  Add readmePrefix for FloVer [Mar 31 12:27:47]
#865 (Iced_cake)
Merging into:8eb9e723e9f4cc989c97a68a0a5adbf6e5bec1e3
  Merge pull request #869 from CakeML/ffi-changes [Mar 31 15:20:09]
HOL:e423188b196a54551b2b4fddb00dc960d0ee96c4
  Minkowski's inequality and its applications in Probability (#1009) [Mar 25 02:18:56]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Mar 31 15:25:07 Claimed job
Mar 31 15:25:09 Reusing HOL
Mar 31 15:25:52 Starting developers
Mar 31 15:25:54 FAILED: developers
readme_gen                                                          (0s)     OK
Starting work on README.md
README.md                                                           (0s)FAIL<1>
 Checking: /home/cake/oven/regression/cakeml-1840/icing/flover
 ERROR! Every Holmakefile must include a README.md target. Consider adding:
 
 README_SOURCES = $(wildcard *Script.sml) $(wildcard *Lib.sml) $(wildcard *Syntax.sml)
 DIRS = $(wildcard */)
 README.md: $(CAKEMLDIR)/developers/readme_gen readmePrefix $(patsubst %,%readmePrefix,$(DIRS)) $(README_SOURCES)
 	$(CAKEMLDIR)/developers/readme_gen $(README_SOURCES)
 
 to /home/cake/oven/regression/cakeml-1840/icing/flover/Holmakefile