tree 583bdcff2908bfbf6849b82093a19aa01bc41f1b
parent cc71e0a589fd6ca3f40137ff5b21675684172c9b
author Lucas De Marchi <lucas.demarchi@intel.com> 1514945871 -0800
committer Lucas De Marchi <lucas.demarchi@intel.com> 1514945871 -0800

build: use tool from configure

This way we make sure the tool will be the one we actually configured
before going through sudo.