Console Output

16:02:33 Started by an SCM change
16:02:33 [EnvInject] - Loading node environment variables.
16:02:33 Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/isabelle-all
16:02:33 [isabelle-all] $ hg showconfig paths.default
16:02:33 [isabelle-all] $ hg pull --rev default
16:02:33 pulling from http://isabelle.in.tum.de/repos/isabelle/
16:02:33 searching for changes
16:02:33 no changes found
16:02:33 [isabelle-all] $ hg update --clean --rev default
16:02:33 0 files updated, 0 files merged, 0 files removed, 0 files unresolved
16:02:33 [isabelle-all] $ hg log --rev . --template {node}
16:02:33 [isabelle-all] $ hg log --rev . --template {rev}
16:02:33 [isabelle-all] $ hg log --rev 423c0b571f1e85caa6f374acae00c52b53976b14 --template exists\n
16:02:33 exists
16:02:33 [isabelle-all] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev "ancestors('default') and not ancestors(423c0b571f1e85caa6f374acae00c52b53976b14)" --encoding UTF-8 --encodingmode replace
16:02:33 [afp] $ hg showconfig paths.default
16:02:33 [afp] $ hg pull --rev default
16:02:35 pulling from https://bitbucket.org/isa-afp/afp-devel/
16:02:35 no changes found
16:02:35 [afp] $ hg update --clean --rev default
16:02:35 5 files updated, 0 files merged, 0 files removed, 0 files unresolved
16:02:35 [afp] $ hg --config extensions.purge= clean --all
16:02:35 [afp] $ hg log --rev . --template {node}
16:02:35 [afp] $ hg log --rev . --template {rev}
16:02:36 [afp] $ hg log --rev 0920f052c1f18d836b12f46a4aef87a716b84050 --template exists\n
16:02:36 exists
16:02:36 [afp] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev "ancestors('default') and not ancestors(0920f052c1f18d836b12f46a4aef87a716b84050)" --encoding UTF-8 --encodingmode replace
16:02:36 No emails were triggered.
16:02:36 [isabelle-all] $ /bin/sh -xe /tmp/jenkins2676747981416313263.sh
16:02:36 + Admin/jenkins/run_build all
16:02:36 + set -e
16:02:36 + PROFILE=all
16:02:36 + shift
16:02:36 + bin/isabelle components -a
16:02:36 + bin/isabelle jedit -bf
16:02:36 ### Building Isabelle/Scala ...
16:03:05 ### Building Isabelle/jEdit ...
16:03:22 + bin/isabelle ocaml_setup
16:03:23 [ERROR] There already is an installed switch named ocaml-base-compiler.4.05.0
16:03:23 Build step 'Execute shell' marked build as failure
16:03:23 Archiving artifacts
16:06:44 Started calculate disk usage of build
16:06:44 Finished Calculation of disk usage of build in 0 seconds
16:06:53 Started calculate disk usage of workspace
16:06:54 Finished Calculation of disk usage of workspace in 0 seconds
16:06:54 No emails were triggered.
16:06:54 Finished: FAILURE