Merge pull request #1862 from kgaillot/coverity
Don't depend on prerequisite order for coverity target
Description
Description
Details
Details
- Provenance
kgaillot Authored on Aug 15 2019, 5:27 PM GitHub <noreply@github.com> Committed on Aug 15 2019, 5:27 PM - Parents
- rPbee22a715abd: Build: GNUmakefile: don't depend on prerequisite order for coverity target
rP21bed422717a: Merge pull request #1860 from kgaillot/coverity - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes