commit cd2afc6bc01b3d810fb3446449741a9e1d7d8426
author James Robinson <jamesr@google.com> Mon Jan 11 22:27:06 2016 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Mon Jan 11 22:27:06 2016 +0000
tree 427012950b2975a31f3eb824e4f014026968a98f
parent 286910c1396d8b61fc876fa0825ae4958fed77ea
parent 6fc30685cf15179742ea362a3fa6d0c6eea0645b

Merge "Fix PATH in bootstrap_jiri comment to match what script does"

scripts/jiri

diff --git a/scripts/jiri b/scripts/jiri
index 24593ed..7b3ce59 100755
--- a/scripts/jiri
+++ b/scripts/jiri
@@ -38,7 +38,7 @@
 
 # If $JIRI_ROOT is set we always use it, otherwise look for a .jiri_root
 # directory starting with the current working directory, and walking up.
-if [[ "${JIRI_ROOT}" == "" ]]; then
+if [[ -z ${JIRI_ROOT+x} ]]; then
   while [[ ! -d  "$(pwd)/.jiri_root" ]]; do
     if [[ "$(pwd)" == "/" ]]; then
       fatal "could not find .jiri_root directory"