Merge pull request #202 from jnpkrn/CI-drop-redundant-check
CI: "make check" already included in "make distcheck"
Description
Description
Details
Details
- Provenance
chrissie-c Authored on Mar 17 2016, 5:29 AM - Parents
- rQe1bfb098beca: CI: "make check" already included in "make distcheck"
rQ63b97b2dea68: Merge pull request #199 from jnpkrn/CI-make-rpm - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes