Merge pull request #1380 from ClusterLabs/distcheck
build: "make distcheck" fixes
Description
Description
Details
Details
- Provenance
oalbrigt Authored on Aug 16 2019, 3:15 AM GitHub <noreply@github.com> Committed on Aug 16 2019, 3:15 AM - Parents
- rRa3bf7a43263f: [build] drop now unnecessary make distcheck options
rR59d14a2d4e97: Merge pull request #1375 from jimfunk/master - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes