[wasm] update run-jenkins.sh (#16771)
commita67212d34c59a01811af4183d2790533b0293501
authorMaxim Lipnin <v-maxlip@microsoft.com>
Wed, 11 Sep 2019 19:28:07 +0000 (11 22:28 +0300)
committerSteve Pfister <steveisok@users.noreply.github.com>
Wed, 11 Sep 2019 19:28:07 +0000 (11 15:28 -0400)
tree090eb151578f94ee7f99f74ba5c8c4f0531abe29
parentf4c1358ed0c496865c24ee32efa498ace0e8ed5e
[wasm] update run-jenkins.sh (#16771)

* replaced set of run-*-mini targets with more common run-all-mini one;
* removed redundant run-v8-corlib (there is run-all-corlib)
scripts/ci/run-jenkins.sh