Job 2670

CakeML:f18c7250703325a9dd318fbc1d03a4afa8090dd8
  fix cnfProofTheory [Oct 15 01:31:37]
#1068 (preserve)
Merging into:b94ca1db7fb392d05ab143a451a30f7a5ba3390d
  Adjust @myreen's editor settings [Oct 18 21:56:34]
HOL:07c84bff2b89ddb2c81c57884f4141bbc37accdb
  Fix cv_compute regression test to cope with case-sensitive files [Oct 15 03:20:04]
Machine:pavlova

Oct 18 22:12:05 Claimed job
Oct 18 22:12:08 Reusing HOL
Oct 18 22:12:21 Starting developers
Oct 18 22:12:25 Finished developers                                               3s 204MB
Oct 18 22:12:26 Starting developers/bin
Oct 18 22:12:46 FAILED: developers/bin
Starting work on cake-x64-64.tar.gz
README.md                                                           (0s)     OK
cake-x64-64.tar.gz                                                  (0s)     OK
Starting work on cake.S
cake.S                                                              (0s)     OK
Starting work on cake
cake                                                                (3s)FAIL<2>
 cc    -c -o cake.o cake.S
 /tmp/ccQH4H9q.s: Assembler messages:
 /tmp/ccQH4H9q.s: Fatal error: can't write 3904 bytes to section .text of cake.o: 'No space left on device'
 /tmp/ccQH4H9q.s: Fatal error: cake.o: No such file or directory
 make: *** [<builtin>: cake.o] Error 1