equal
deleted
inserted
replaced
40 jib_organization="jpg/infra/builddeps" |
40 jib_organization="jpg/infra/builddeps" |
41 jib_module="jib" |
41 jib_module="jib" |
42 jib_revision="2.0-SNAPSHOT" |
42 jib_revision="2.0-SNAPSHOT" |
43 jib_ext="jib.sh.gz" |
43 jib_ext="jib.sh.gz" |
44 |
44 |
45 closed_script="${mydir}/../../closed/conf/jib-install.conf" |
45 closed_script="${mydir}/../../../closed/conf/jib-install.conf" |
46 if [ -f "${closed_script}" ]; then |
46 if [ -f "${closed_script}" ]; then |
47 source "${closed_script}" |
47 source "${closed_script}" |
48 fi |
48 fi |
49 |
49 |
50 if [ -n "${JIB_SERVER}" ]; then |
50 if [ -n "${JIB_SERVER}" ]; then |