Fix short-option processing#4598

bdbaddog merged 2 commits into

SCons:masterSCons/scons:masterfrom

mwichmann:AddOption-shortoptsmwichmann/scons:AddOption-shortoptsCopy head branch name to clipboard