Job 3369

CakeML:e543b72afe9625d07b9b04d25ad934c57f3897cb
  clean up [Jun 05 13:04:12]
#1405 (mrichards30:feature/little-theories)
Merging into:88e427b7a861ffc4654fe8bfdc19c0584ab73922
  globally increase num arith cache params 100x (#1402) [Jun 04 16:47:03]
HOL:bf0dec986904cecbd1a1c6bce62ccf1c256eaca1
  Holmake: defer execname computation to message-emission time [May 30 05:13:36]
Machine:timtam

Jun 05 15:30:36 Claimed job
Jun 05 15:30:41 Reusing HOL
Jun 05 15:30:58 Starting developers
Jun 05 15:30:59 FAILED: developers
Starting work on lint_build_dirs
lint_build_dirs                                                     (0s)     OK
Starting work on lint
lint                                                                (0s)FAIL<1>
readme_gen                                                          (0s) killed
*** Holmake aborted - 1 target failed:
*** lint (status 1)
 The following paths are not mentioned in either build-sequence and build-excludes:
 candle/standard/syntax/little_theories
 Please place them in either one or the other.
 Full log: /scratch/cakeml/regression2/cakeml-3369/developers/.hol/logs/lint