Merge pull request #1149 from wferi/build
Build enhancements
Description
Description
Details
Details
- Provenance
kgaillot Authored on Sep 30 2016, 9:40 AM GitHub <noreply@github.com> Committed on Sep 30 2016, 9:40 AM - Parents
- rPd512d2222c57: Split definitions to make omitting tests easier
rP416f98a07585: Merge pull request #1151 from jnpkrn/build - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes