Automatic merge from submit-queue

Fix make verify

@thockin this fixes `make verify` which was previously failing due to undefined `BRANCH` and `VERBOSE` variables, ptal