We now use hack/module.sh codegen{,_verify}. See f95f585. Signed-off-by: Andrew Keesler <akeesler@vmware.com>
./hack/module.sh
codegen
ROOT
hack/module.sh
codegen_verify