diff options
author | Jeff McGlynn <jeff@jeffmcglynn.com> | 2018-11-28 10:54:43 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-28 10:54:43 -0800 |
commit | e0904c84162a2a078a47b7966305f84f817d6247 (patch) | |
tree | ae95f7228eb234a51ae74eca1089ab2ea66f7ed7 /tools | |
parent | 500945dd1316fcebb6d2fc6ec22019988b8ce6d2 (diff) | |
parent | 513c172119ac41a3dc52738db5bf649195fa5c64 (diff) |
Merge pull request #2 from pokowaka/master
Explicitly set ctest command.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions