playground: Improve update.sh to be more general.#41

Merged

dmitshur merged 1 commit intomasterfrom

make-rebuilding-playground-easy

Feb 21, 2016

Commits on Feb 21, 2016

playground: Improve update.sh to be more general.
dmitshur
committed