Console Output

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