commit 5da0ff4d443e8b1e9c8142918c2f882768e66ec2
author Bogdan Caprita <caprita@google.com> Wed Sep 16 02:32:17 2015 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Wed Sep 16 02:32:17 2015 +0000
tree 894b64d4a4551efaeb86de0eb6293eca2afd00df
parent 9df0b0a551cac302b7c8b8ed416382dff752bf74
parent e2dccdd59436b6a71317d6f0f8c749071a067dfa

Merge "media-sharing/scripts: application envelopes are now versioned"

scripts/update.sh

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