bin/jib.sh
changeset 47295 565363232665
parent 47291 c87f7ff9ef65
child 47325 d4d6bd42a6f3
equal deleted inserted replaced
47294:7d67bb6b0599 47295:565363232665
   144 elif [ ! -e "${install_data}" ] || [ "${data_string}" != "$(cat "${install_data}")" ]; then
   144 elif [ ! -e "${install_data}" ] || [ "${data_string}" != "$(cat "${install_data}")" ]; then
   145     echo "Install url changed since last time, reinstalling"
   145     echo "Install url changed since last time, reinstalling"
   146     install_jib
   146     install_jib
   147 fi
   147 fi
   148 
   148 
   149 # Provide a reasonable default for the --src-dir parameter if run out of tree
       
   150 if [ -z "${JIB_SRC_DIR}" ]; then
       
   151     export JIB_SRC_DIR="${mydir}/../"
       
   152 fi
       
   153 
       
   154 ${installed_jib_script} "$@"
   149 ${installed_jib_script} "$@"