commit | 8d9c7e37c95da12bcff0e1ba21a45d3efb8b9041 | [log] [tgz] |
---|---|---|
author | Lucas De Marchi <[email protected]> | Tue Jan 02 18:17:51 2018 -0800 |
committer | Lucas De Marchi <[email protected]> | Tue Jan 02 18:17:51 2018 -0800 |
tree | 583bdcff2908bfbf6849b82093a19aa01bc41f1b | |
parent | cc71e0a589fd6ca3f40137ff5b21675684172c9b [diff] |
build: use tool from configure This way we make sure the tool will be the one we actually configured before going through sudo.
This is a mirror only. Please see README file for more information.