Ticket #10636 (closed: fixed)

Opened 6 years ago

Last modified 5 years ago

Fix coverity builds

Reported by: Peter Peterson Owned by: Peter Peterson
Priority: major Milestone: Release 3.3
Component: Tools Keywords:
Cc: Blocked By:
Blocking: Tester: Martyn Gigg

Description (last modified by Peter Peterson) (diff)

The coverity builds are not currently submitting to coverity. The script for submitting is in jenkins directly, and should be converted to a bash script in github. Here is something that *should* work (git revision needs a little looking at) for the submission part. The rest should be copied from the current job.

#!/bin/sh
mkdir -p $WORKSPACE/build
cd $WORKSPACE/build
scl enable mantidlibs "cmake -DMAKE_VATES=ON -DParaView_DIR=${PARAVIEW_DIR} \
    $WORKSPACE/Code/Mantid"
${COVERITY_DIR}/cov-build --dir cov-int scl enable mantidlibs "make -j${BUILD_THREADS}"
tar czvf mantid.tgz cov-int
curl --form token=$COVERITY_TOKEN --form email=mantidproject@gmail.com \
     --form file=@mantid.tgz --form version=$GIT_COMMIT \
     https://scan.coverity.com/builds?project=mantidproject%2Fmantid

Change History

comment:1 Changed 6 years ago by Peter Peterson

  • Description modified (diff)

comment:2 Changed 6 years ago by Peter Peterson

  • Description modified (diff)

comment:3 Changed 6 years ago by Nick Draper

  • Status changed from new to assigned

comment:4 Changed 6 years ago by Pete Peterson

  • Status changed from assigned to inprogress

Re #10636. Hopefully fixing coverity builds.

Changeset: 368203063607ffb5c32b26ba23a525dde04b7be5

comment:5 Changed 6 years ago by Pete Peterson

Re #10636. Trying to fix the script.

Changeset: 25d7cc7c8c2ea65caf162332613aac1deedf4432

comment:6 Changed 6 years ago by Pete Peterson

Re #10636. "exit" is the correct command.

Changeset: 38845ed641a822f032125ac4aa5276e3a3ddfa8b

comment:7 Changed 6 years ago by Pete Peterson

  • Status changed from inprogress to verify
  • Resolution set to fixed

This is being verified as pull request #91.

comment:8 Changed 6 years ago by Martyn Gigg

  • Status changed from verify to verifying
  • Tester set to Martyn Gigg

comment:9 Changed 6 years ago by Martyn Gigg

retest this please

comment:10 Changed 6 years ago by Martyn Gigg

The build failures are spurious and due to a bug in the pull request builder plugin so I'm giving this a green light to go from code inspection

comment:11 Changed 6 years ago by Martyn Gigg

  • Status changed from verifying to closed

Merge pull request #91 from mantidproject/feature/10636_coverity_builds

Fix coverity builds

Full changeset: 47016bebe48336187dc630de873abe8697f83344

comment:12 Changed 5 years ago by Stuart Campbell

This ticket has been transferred to github issue 11478

Note: See TracTickets for help on using tickets.