Console Output

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