Console Output

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