Console Output

03:11:20 Started by upstream project "afp-repo" build number 469
03:11:20 originally caused by:
03:11:20  Started by an SCM change
03:11:20 [EnvInject] - Loading node environment variables.
03:11:20 Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/afp-repo-afp
03:11:20 [afp-repo-afp] $ hg showconfig paths.default
03:11:20 [afp-repo-afp] $ hg pull --rev default
03:11:22 pulling from http://isabelle.in.tum.de/repos/isabelle/
03:11:22 searching for changes
03:11:22 no changes found
03:11:22 [afp-repo-afp] $ hg update --clean --rev default
03:11:22 0 files updated, 0 files merged, 0 files removed, 0 files unresolved
03:11:22 [afp-repo-afp] $ hg --config extensions.purge= clean --all
03:11:22 [afp-repo-afp] $ hg log --rev . --template {node}
03:11:23 [afp-repo-afp] $ hg log --rev . --template {rev}
03:11:23 [afp] $ hg showconfig paths.default
03:11:23 [afp] $ hg pull --rev 6f75bcd8ed9fe8e4e28ef4e9dc836777b47aafac
03:11:24 pulling from https://bitbucket.org/isa-afp/afp-devel/
03:11:24 searching for changes
03:11:24 adding changesets
03:11:24 adding manifests
03:11:24 adding file changes
03:11:24 added 2 changesets with 1 changes to 1 files
03:11:24 (run 'hg update' to get a working copy)
03:11:24 [afp] $ hg update --clean --rev 6f75bcd8ed9fe8e4e28ef4e9dc836777b47aafac
03:11:25 1 files updated, 0 files merged, 0 files removed, 0 files unresolved
03:11:25 [afp] $ hg --config extensions.purge= clean --all
03:11:25 [afp] $ hg log --rev . --template {node}
03:11:25 [afp] $ hg log --rev . --template {rev}
03:11:25 [afp] $ hg id --branch
03:11:25 No emails were triggered.
03:11:25 [afp-repo-afp] $ /bin/sh -xe /tmp/hudson1414404348550448736.sh
03:11:25 + Admin/jenkins/run_build afp
03:11:25 + set -e
03:11:25 + PROFILE=afp
03:11:25 + shift
03:11:25 + bin/isabelle components -a
03:11:25 + bin/isabelle jedit -bf
03:11:25 ### Building graph browser ...
03:11:26 warning: [options] bootstrap class path not set in conjunction with -source 1.4
03:11:26 warning: [options] source value 1.4 is obsolete and will be removed in a future release
03:11:26 warning: [options] target value 1.4 is obsolete and will be removed in a future release
03:11:26 warning: [options] To suppress warnings about obsolete options, use -Xlint:-options.
03:11:26 Note: GraphBrowser/GraphBrowser.java uses or overrides a deprecated API.
03:11:26 Note: Recompile with -Xlint:deprecation for details.
03:11:26 4 warnings
03:11:27 ### Building Isabelle/Scala ...
03:12:14 ### Building Isabelle/jEdit ...
03:12:31 + bin/isabelle ci_build_afp
03:12:37 
03:12:37 === CONFIGURATION ===
03:12:37 
03:12:37 ISABELLE_BUILD_OPTIONS=""
03:12:37 
03:12:37 ML_PLATFORM="x86_64-linux"
03:12:37 ML_HOME="/media/data/jenkins/.isabelle/contrib/polyml-5.6-1/x86_64-linux"
03:12:37 ML_SYSTEM="polyml-5.6"
03:12:37 ML_OPTIONS="-H 4000 --gcthreads 2 --maxheap 8G"
03:12:37 
03:12:37 === BUILD ===
03:12:37 
03:12:37 Build started at Sun, 16 Oct 2016 01:12:37 GMT
03:12:37 Isabelle id c1b5165b73db
03:12:37 AFP id 6f75bcd8ed9f
03:12:37 
03:12:37 === LOG ===
03:12:37 
03:12:38 *** Bad parent session "HOL-Multivariate_Analysis" for "Chord_Segments" (line 3 of "$ISABELLE_HOME/afp/thys/Chord_Segments/ROOT")
03:12:38 Build step 'Execute shell' marked build as failure
03:12:38 Archiving artifacts
03:12:39 Started calculate disk usage of build
03:12:39 Finished Calculation of disk usage of build in 0 seconds
03:12:39 Started calculate disk usage of workspace
03:12:39 Finished Calculation of disk usage of workspace in 0 seconds
03:12:39 No emails were triggered.
03:12:39 Finished: FAILURE