Job 1551

CakeML:f0675a04c3e8d66cf99b0cdb8dac558a35fde87f
  Remove un-used and extra files [Jul 19 14:51:51]
#831 (pancake)
Merging into:76ed0b05089a77059dee72d197fc56c3dae661e8
  Merge pull request #829 from CakeML/help [Jun 18 08:39:57]
HOL:0c88037d251b8041b38bd16fc401fa1336041787
  Holmake: make fooTheory target build .uo file not just .dat file [Jun 18 10:26:15]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Jul 19 14:56:00 Claimed job
Jul 19 14:56:08 Reusing HOL
Jul 19 14:56:17 Starting developers
Jul 19 14:56:18 FAILED: developers
readme_gen             real:    0s  user:    0s     OK
Starting work on README.md
README.md              real:    0s  user:    0sFAIL<1>
 Checking: /home/myreen/regression/cakeml-1551/translator/okasaki-examples
 Checking: /home/myreen/regression/cakeml-1551/translator/other-examples
 Checking: /home/myreen/regression/cakeml-1551/translator/other-examples/auxiliary
 Checking: /home/myreen/regression/cakeml-1551/translator/monadic
 Checking: /home/myreen/regression/cakeml-1551/translator/monadic/examples
 Checking: /home/myreen/regression/cakeml-1551/translator/monadic/monad_base
 Checking: /home/myreen/regression/cakeml-1551/pancake
 File not allowed to exist: /home/myreen/regression/cakeml-1551/pancake/ta_progs/readmePrefix
 Such files are only allowed in directories with a Holmakefile.
 Fix: rename the file to README.md