Merge branch 'master' of gitlab.science.ru.nl:mlubbers/CleanSerial

1 job for master in 1 minute and 33 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Test
failed #30313
builds

00:01:33

 
Name Stage Failure
failed
builds Test
'src/Clean System Files/ctty.o' -> 'CleanSerial/Clean System Files/ctty.o'
'src/TTY.dcl' -> 'CleanSerial/TTY.dcl'
'src/TTY.icl' -> 'CleanSerial/TTY.icl'
'src/iTasksTTY.dcl' -> 'CleanSerial/iTasksTTY.dcl'
'src/iTasksTTY.icl' -> 'CleanSerial/iTasksTTY.icl'
'src/POSIX/Platform.dcl' -> 'CleanSerial/Platform.dcl'
'src/POSIX/Platform.icl' -> 'CleanSerial/Platform.icl'
mkpkgs.sh: line 11: file: command not found
ERROR: Job failed: exit code 1