commit 9df0b0a551cac302b7c8b8ed416382dff752bf74
author Nicolas Lacasse <nlacasse@google.com> Tue Sep 15 15:41:14 2015 -0700
committer Nicolas Lacasse <nlacasse@google.com> Tue Sep 15 15:41:14 2015 -0700
tree 95d621be949ec2f9d443132e238c2bfbe29cb754
parent ebccd8432b8c159a23242ea06381e680b78383e1

Rename V23_PROFILE variable to JIRI_PROFILE.

Change-Id: I553b258a1e8e78acd2f2a2f4771418fc609beb55
MultiPart: 5/7

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