forked from mirrors/0ad
2f81399c50
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>