check that we use the built tool matching the configuration in build.$BINARY_TAG
if gmake was used we stick to it even if ninja is in the path if ninja was used, but it is not in the path we exit with an error
fixes GAUDI-1287
if gmake was used we stick to it even if ninja is in the path if ninja was used, but it is not in the path we exit with an error
fixes GAUDI-1287