After the git migration update-workspace.sh doesn't build libraries anymore. Remove variables and options no longer of use. Signed-off-by: Ralph Sennhauser <ralph.sennhauser@gmail.com>
After the git migration update-workspace.sh doesn't build libraries anymore. Remove variables and options no longer of use. Signed-off-by: Ralph Sennhauser <ralph.sennhauser@gmail.com>