Console Output

15:31:02 Started by an SCM change
15:31:02 [EnvInject] - Loading node environment variables.
15:31:02 Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/isabelle-all
15:31:02 [isabelle-all] $ hg showconfig paths.default
15:31:02 [isabelle-all] $ hg pull --rev default
15:31:03 pulling from http://isabelle.in.tum.de/repos/isabelle/
15:31:03 searching for changes
15:31:03 no changes found
15:31:03 [isabelle-all] $ hg update --clean --rev default
15:31:03 12 files updated, 0 files merged, 0 files removed, 0 files unresolved
15:31:03 [isabelle-all] $ hg log --rev . --template {node}
15:31:03 [isabelle-all] $ hg log --rev . --template {rev}
15:31:03 [isabelle-all] $ hg log --rev 564985d6867ee9549f96263d81af88cccad755f6 --template exists\n
15:31:03 exists
15:31:03 [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(564985d6867ee9549f96263d81af88cccad755f6)" --encoding UTF-8 --encodingmode replace
15:31:03 [afp] $ hg showconfig paths.default
15:31:03 [afp] $ hg pull --rev default
15:31:04 pulling from https://bitbucket.org/isa-afp/afp-devel/
15:31:04 no changes found
15:31:04 [afp] $ hg update --clean --rev default
15:31:05 469 files updated, 0 files merged, 0 files removed, 0 files unresolved
15:31:05 [afp] $ hg --config extensions.purge= clean --all
15:31:05 [afp] $ hg log --rev . --template {node}
15:31:05 [afp] $ hg log --rev . --template {rev}
15:31:05 [afp] $ hg log --rev 0920f052c1f18d836b12f46a4aef87a716b84050 --template exists\n
15:31:05 exists
15:31:05 [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
15:31:05 No emails were triggered.
15:31:05 [isabelle-all] $ /bin/sh -xe /tmp/jenkins7880375687380434642.sh
15:31:05 + Admin/jenkins/run_build all
15:31:05 + set -e
15:31:05 + PROFILE=all
15:31:05 + shift
15:31:05 + bin/isabelle components -a
15:31:05 + bin/isabelle jedit -bf
15:31:05 ### Building Isabelle/Scala ...
15:31:34 ### Building Isabelle/jEdit ...
15:31:52 + bin/isabelle ocaml_setup
15:31:52 [ERROR] There already is an installed switch named ocaml-base-compiler.4.05.0
15:31:53 Build step 'Execute shell' marked build as failure
15:31:53 Archiving artifacts
15:35:12 Started calculate disk usage of build
15:35:12 Finished Calculation of disk usage of build in 0 seconds
15:35:18 Started calculate disk usage of workspace
15:35:19 Finished Calculation of disk usage of workspace in 0 seconds
15:35:19 No emails were triggered.
15:35:19 Finished: FAILURE