Merge pull request #251 from oalbrigt/build-fix-check_used_options
build: fix if-redirection to make check_used_options run for the agents as intended
Description
Description
Details
Details
- Provenance
oalbrigt Authored on Nov 28 2018, 5:36 AM GitHub <noreply@github.com> Committed on Nov 28 2018, 5:36 AM - Parents
- rF267afc5caa05: build: fix if-redirection to make check_used_options run for the agents as…
rF1f965f4c5dc7: Merge pull request #245 from oalbrigt/python3-check_used_options - Branches
- Unknown
- Tags
- References
- tag: v4.3.2
Event Timeline
Merged Changes
Merged Changes