Console Output

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