Merge pull request #2594 from stanley-cheung/add_homebrew_to_jenkins
Minor fix to run_distribution script
diff --git a/tools/jenkins/run_distribution.sh b/tools/jenkins/run_distribution.sh
index 2824c31..eea25b6 100755
--- a/tools/jenkins/run_distribution.sh
+++ b/tools/jenkins/run_distribution.sh
@@ -85,8 +85,8 @@
# i.e. curl -fsSL https://goo.gl/getgrpc | bash -s $language
# need to resolve a bunch of environment and privilege issue on the jenkins
# mac machine itself
- OLD_PATH=$PATH
- PATH=$brew_root/bin:$PATH
+ export OLD_PATH=$PATH
+ export PATH=$brew_root/bin:$PATH
cd $brew_root
brew tap homebrew/dupes
brew install zlib
@@ -139,7 +139,7 @@
rm -rf $brew_root
# Make sure the system brew installation is still unaffected
- PATH=$OLD_PATH
+ export PATH=$OLD_PATH
brew list -l
else