Started by GitHub push by bandurvp Building on master in workspace /var/lib/jenkins/workspace/vdm2c-vdmlib > /usr/bin/git rev-parse --is-inside-work-tree # timeout=10 Fetching changes from the remote Git repository > /usr/bin/git config remote.origin.url https://github.com/overturetool/vdm2c.git # timeout=10 Fetching upstream changes from https://github.com/overturetool/vdm2c.git > /usr/bin/git --version # timeout=10 > /usr/bin/git -c core.askpass=true fetch --tags --progress https://github.com/overturetool/vdm2c.git +refs/heads/development:refs/remotes/origin/development > /usr/bin/git rev-parse refs/remotes/origin/development^{commit} # timeout=10 > /usr/bin/git rev-parse refs/remotes/origin/refs/heads/development^{commit} # timeout=10 Checking out Revision 9171a7b1e6a2edd43b93fabc70020b4e63b17a7c (refs/remotes/origin/development) > /usr/bin/git config core.sparsecheckout # timeout=10 > /usr/bin/git checkout -f 9171a7b1e6a2edd43b93fabc70020b4e63b17a7c > /usr/bin/git rev-list 9da2bb004dae81e91ca37978f0fccab0102f24b8 # timeout=10 > /usr/bin/git remote # timeout=10 > /usr/bin/git submodule init # timeout=10 > /usr/bin/git submodule sync # timeout=10 > /usr/bin/git config --get remote.origin.url # timeout=10 > /usr/bin/git submodule update --init --recursive [vdm2c-vdmlib] $ /bin/sh -xe /tmp/hudson2814320436032255961.sh + cd c + cmake . -- CPP files: -- C_GEN_FILES: -- Configuring done -- Generating done -- Build files have been written to: /var/lib/jenkins/workspace/vdm2c-vdmlib/c + make -j4 /usr/bin/cmake -H/var/lib/jenkins/workspace/vdm2c-vdmlib/c -B/var/lib/jenkins/workspace/vdm2c-vdmlib/c --check-build-system CMakeFiles/Makefile.cmake 0 /usr/bin/cmake -E cmake_progress_start /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles/progress.marks make -f CMakeFiles/Makefile2 all make[1]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c' make -f third_party/googletest/googletest/CMakeFiles/gtest.dir/build.make third_party/googletest/googletest/CMakeFiles/gtest.dir/depend make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c' cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/CMakeFiles/gtest.dir/DependInfo.cmake --color= make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c' make -f third_party/googletest/googletest/CMakeFiles/gtest.dir/build.make third_party/googletest/googletest/CMakeFiles/gtest.dir/build make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c' make[2]: Nothing to be done for `third_party/googletest/googletest/CMakeFiles/gtest.dir/build'. make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c' /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 51 [ 1%] Built target gtest make -f third_party/googletest/googletest/CMakeFiles/gtest_main.dir/build.make third_party/googletest/googletest/CMakeFiles/gtest_main.dir/depend make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c' cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest /var/lib/jenkins/workspace/vdm2c-vdmlib/c/third_party/googletest/googletest/CMakeFiles/gtest_main.dir/DependInfo.cmake --color= make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c' make -f third_party/googletest/googletest/CMakeFiles/gtest_main.dir/build.make third_party/googletest/googletest/CMakeFiles/gtest_main.dir/build make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c' make[2]: Nothing to be done for `third_party/googletest/googletest/CMakeFiles/gtest_main.dir/build'. make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c' /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 52 [ 3%] Built target gtest_main make -f c-examples/CMakeFiles/c-examples.dir/build.make c-examples/CMakeFiles/c-examples.dir/depend make -f generator-test/CMakeFiles/generator-test.dir/build.make generator-test/CMakeFiles/generator-test.dir/depend make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c' cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test /var/lib/jenkins/workspace/vdm2c-vdmlib/c/generator-test/CMakeFiles/generator-test.dir/DependInfo.cmake --color= make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c' make -f generator-test/CMakeFiles/generator-test.dir/build.make generator-test/CMakeFiles/generator-test.dir/build make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c' make[2]: Nothing to be done for `generator-test/CMakeFiles/generator-test.dir/build'. make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c' /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 39 40 41 42 43 44 45 46 47 48 49 50 make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c' cd /var/lib/jenkins/workspace/vdm2c-vdmlib/c && /usr/bin/cmake -E cmake_depends "Unix Makefiles" /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples /var/lib/jenkins/workspace/vdm2c-vdmlib/c /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples /var/lib/jenkins/workspace/vdm2c-vdmlib/c/c-examples/CMakeFiles/c-examples.dir/DependInfo.cmake --color= [ 26%] Built target generator-test make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c' make -f c-examples/CMakeFiles/c-examples.dir/build.make c-examples/CMakeFiles/c-examples.dir/build make[2]: Entering directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c' make[2]: Nothing to be done for `c-examples/CMakeFiles/c-examples.dir/build'. make[2]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c' /usr/bin/cmake -E cmake_progress_report /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 [100%] Built target c-examples make[1]: Leaving directory `/var/lib/jenkins/workspace/vdm2c-vdmlib/c' /usr/bin/cmake -E cmake_progress_start /var/lib/jenkins/workspace/vdm2c-vdmlib/c/CMakeFiles 0 + make test Running tests... /usr/bin/ctest --force-new-ctest-process Test project /var/lib/jenkins/workspace/vdm2c-vdmlib/c Start 1: AllTestsIn-c-examples 1/2 Test #1: AllTestsIn-c-examples ............ Passed 0.06 sec Start 2: AllTestsIn-generator-test 2/2 Test #2: AllTestsIn-generator-test ........ Passed 0.00 sec 100% tests passed, 0 tests failed out of 2 Total Test time (real) = 0.07 sec Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds Finished: SUCCESS