Job 2999

CakeML:6ddaf6f8d86d8d5f57f0bcfc8fdd78f855e3daae
  Make it clearer that HOL master should be used [Sep 29 10:18:48]
HOL:a406a513a9778e7975ada234be5f6efa80cbad88
  Merge pull request #1677 from nikos-alexandris/mcandidate [Oct 03 07:39:14]
Machine:pavlova

Oct 03 07:52:15 Claimed job
Oct 03 07:52:19 Reusing HOL
Oct 03 07:52:26 Starting developers
Oct 03 07:52:30 Finished developers                                               3s 198MB
Oct 03 07:52:31 Starting developers/bin
Oct 03 07:52:34 Finished developers/bin                                           2s  89MB
Oct 03 07:52:35 Starting misc
Oct 03 07:52:36 FAILED: misc
Scanning $(HOLDIR)/src/bag
Scanning $(HOLDIR)/src/sort
Scanning $(HOLDIR)/src/string
Scanning $(HOLDIR)/src/n-bit
Scanning $(HOLDIR)/src/res_quan/src
Scanning $(HOLDIR)/src/finite_maps
Scanning $(HOLDIR)/examples/formal-languages/context-free
Holmake: Attempt to recurse into non-existent directory: $(HOLDIR)/examples/fun-op-sem/lprefix_lub
  (Probably a result of bad INCLUDES spec.)