Ticket #10636 (closed: fixed)
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: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: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