Merge pull request #947 from krig/fix-ci-makecheck
Dev: Check make result correctly
Description
Description
Details
Details
- Provenance
Kristoffer Grönlund <krig@koru.se> Authored on Mar 29 2017, 3:32 AM GitHub <noreply@github.com> Committed on Mar 29 2017, 3:32 AM - Parents
- rR237bf7f9c810: Dev: Check make result correctly
rR35994920290c: Merge pull request #948 from ytakeshita/fix_docker - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes