A small correction to the step 2 above:
In the example, after you do the 'git clone ...' command, you have to change directory to the git repo dir (e.g. 'cd vmware-host-modules') before issuing the 'git checkout workstation-x.y.z'. Else, you'd get a git error like this: 'fatal: not a git repository ...', which, while harmless, it might confuse you. Sorry for the lapse.
A small correction to the step 2 above: host-modules' ) before issuing the 'git checkout workstation-x.y.z'. Else, you'd get a git error like this: 'fatal: not a git repository ...', which, while harmless, it might confuse you. Sorry for the lapse.
In the example, after you do the 'git clone ...' command, you have to change directory to the git repo dir (e.g. 'cd vmware-