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, 3:54 AM - Parents
- rF1f965f4c5dc7: Merge pull request #245 from oalbrigt/python3-check_used_options
- Branches
- Unknown
- Tags