Job 3372

CakeML:e543b72afe9625d07b9b04d25ad934c57f3897cb
  clean up [Jun 05 13:04:12]
#1405 (mrichards30:feature/little-theories)
Merging into:f56a9dabae658b10a25796fcc993a1181962b7ca
  Merge pull request #1404 from CakeML/build-flover [Jun 05 16:00:31]
HOL:bf0dec986904cecbd1a1c6bce62ccf1c256eaca1
  Holmake: defer execname computation to message-emission time [May 30 05:13:36]
Machine:pavlova

Jun 05 16:35:53 Claimed job
Jun 05 16:35:57 Reusing HOL
Jun 05 16:36:14 Starting developers
Jun 05 16:36:15 FAILED: developers
Starting work on lint_build_dirs
lint_build_dirs                                                     (0s)     OK
Starting work on lint
lint                                                                (0s)FAIL<1>
readme_gen                                                          (1s) 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/regression/cakeml-3372/developers/.hol/logs/lint