Console Output

13:23:18 Started by upstream project "afp-repo" build number 444
13:23:18 originally caused by:
13:23:18  Started by an SCM change
13:23:18 [EnvInject] - Loading node environment variables.
13:23:18 Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/afp-repo-afp
13:23:18 [afp-repo-afp] $ hg showconfig paths.default
13:23:18 [afp-repo-afp] $ hg pull --rev default
13:23:19 pulling from http://isabelle.in.tum.de/repos/isabelle/
13:23:19 searching for changes
13:23:19 adding changesets
13:23:19 adding manifests
13:23:19 adding file changes
13:23:19 added 5 changesets with 9 changes to 8 files
13:23:19 (run 'hg update' to get a working copy)
13:23:19 [afp-repo-afp] $ hg update --clean --rev default
13:23:19 8 files updated, 0 files merged, 0 files removed, 0 files unresolved
13:23:19 [afp-repo-afp] $ hg --config extensions.purge= clean --all
13:23:19 [afp-repo-afp] $ hg log --rev . --template {node}
13:23:19 [afp-repo-afp] $ hg log --rev . --template {rev}
13:23:20 [afp] $ hg showconfig paths.default
13:23:20 [afp] $ hg pull --rev 5cc6c4c303de3a2485ebcf5479b9a618ba1e7e27
13:23:21 pulling from https://bitbucket.org/isa-afp/afp-devel/
13:23:21 searching for changes
13:23:21 adding changesets
13:23:21 adding manifests
13:23:21 adding file changes
13:23:21 added 1 changesets with 2 changes to 2 files
13:23:21 (run 'hg update' to get a working copy)
13:23:21 [afp] $ hg update --clean --rev 5cc6c4c303de3a2485ebcf5479b9a618ba1e7e27
13:23:21 2 files updated, 0 files merged, 0 files removed, 0 files unresolved
13:23:21 [afp] $ hg --config extensions.purge= clean --all
13:23:21 [afp] $ hg log --rev . --template {node}
13:23:21 [afp] $ hg log --rev . --template {rev}
13:23:21 [afp] $ hg id --branch
13:23:21 No emails were triggered.
13:23:21 [afp-repo-afp] $ /bin/sh -xe /tmp/hudson8962966551912454502.sh
13:23:21 + Admin/jenkins/run_build afp
13:23:21 + set -e
13:23:21 + PROFILE=afp
13:23:21 + shift
13:23:21 + bin/isabelle components -a
13:23:21 + bin/isabelle jedit -bf
13:23:21 ### Building graph browser ...
13:23:22 warning: [options] bootstrap class path not set in conjunction with -source 1.4
13:23:22 warning: [options] source value 1.4 is obsolete and will be removed in a future release
13:23:22 warning: [options] target value 1.4 is obsolete and will be removed in a future release
13:23:22 warning: [options] To suppress warnings about obsolete options, use -Xlint:-options.
13:23:23 Note: GraphBrowser/GraphBrowser.java uses or overrides a deprecated API.
13:23:23 Note: Recompile with -Xlint:deprecation for details.
13:23:23 4 warnings
13:23:23 ### Building Isabelle/Scala ...
13:23:50 ### Building Isabelle/jEdit ...
13:24:08 + bin/isabelle ci_build_afp
13:24:14 
13:24:14 === CONFIGURATION ===
13:24:14 
13:24:14 ML_PLATFORM="x86_64-linux"
13:24:14 ML_HOME="/media/data/jenkins/.isabelle/contrib/polyml-5.6-1/x86_64-linux"
13:24:14 ML_SYSTEM="polyml-5.6"
13:24:14 ML_OPTIONS="-H 4000 --gcthreads 2 --maxheap 8G"
13:24:14 
13:24:14 === BUILD ===
13:24:14 
13:24:14 Build started at Tue, 4 Oct 2016 11:24:14 GMT
13:24:14 Isabelle id c9f3a94cb825
13:24:14 AFP id 5cc6c4c303de
13:24:14 
13:24:14 === LOG ===
13:24:14 
13:24:14 *** Bad session root directory: "$ISABELLE_HOME/afp/thys/Fisher_Yates"
13:24:14 *** The error(s) above occurred in session catalog "$ISABELLE_HOME/afp/thys/ROOTS"
13:24:15 Build step 'Execute shell' marked build as failure
13:24:15 Archiving artifacts
13:24:15 No emails were triggered.
13:24:15 Finished: FAILURE