commit 369d58145634c8ea3daddd970e647e66f79c220d
author Nicolas Lacasse <nlacasse@google.com> Thu Sep 24 16:57:05 2015 -0700
committer Nicolas Lacasse <nlacasse@google.com> Thu Sep 24 16:57:05 2015 -0700
tree 10d4988d94f99005dd0196f7696ab43ad6c9ef7c
parent 85e75ab1af9aafdfb39524f373e2e56e4279c140

TBR: media-sharing: Replace "v23" (the tool name) with "jiri".

Change-Id: Ia7ef0b078f2ff3a27265e8ee02d5dc895a00e866
MultiPart: 12/17

scripts/update.sh

diff --git a/scripts/update.sh b/scripts/update.sh
index a53daf1..28df606 100755
--- a/scripts/update.sh
+++ b/scripts/update.sh
@@ -6,7 +6,7 @@
 set -x
 set -e
 
-JIRI_PROFILE=arm v23 go install v.io/x/media_sharing/...
+JIRI_PROFILE=arm jiri go install v.io/x/media_sharing/...
 mkdir -p $JIRI_ROOT/release/go/bin/linux_arm
 cp $JIRI_ROOT/release/projects/media-sharing/go/bin/linux_arm/* $JIRI_ROOT/release/go/bin/linux_arm
 vbecome --role=identity/role/vprod/publisher device publish --goos=linux --goarch=arm mediaserver