Commit 0b791f38bbc46636340343bb07e8578197a9dd97
1 parent
b6c18837
Exists in
v5.2
Adjustments in windows package.
Showing
2 changed files
with
7 additions
and
0 deletions
Show diff stats
win/makeruntime.sh.in
win/pack.sh
@@ -197,6 +197,9 @@ buildLibrary() | @@ -197,6 +197,9 @@ buildLibrary() | ||
197 | export cache=${WORKDIR}/cache/${ARCH}/${1}.cache | 197 | export cache=${WORKDIR}/cache/${ARCH}/${1}.cache |
198 | 198 | ||
199 | cd ${WORKDIR}/sources/${1} | 199 | cd ${WORKDIR}/sources/${1} |
200 | + if [ "$?" != "0" ]; then | ||
201 | + failed "Can't change to ${WORKDIR}/sources/${1}" | ||
202 | + fi | ||
200 | 203 | ||
201 | if [ -x ${PROJECTDIR}/win/configure.${1} ]; then | 204 | if [ -x ${PROJECTDIR}/win/configure.${1} ]; then |
202 | 205 | ||
@@ -298,6 +301,9 @@ buildExtraPackage() | @@ -298,6 +301,9 @@ buildExtraPackage() | ||
298 | export cache=${WORKDIR}/cache/${ARCH}/${1}.cache | 301 | export cache=${WORKDIR}/cache/${ARCH}/${1}.cache |
299 | 302 | ||
300 | cd ${WORKDIR}/sources/${1} | 303 | cd ${WORKDIR}/sources/${1} |
304 | + if [ "$?" != "0" ]; then | ||
305 | + failed "Can't change to ${WORKDIR}/sources/${1}" | ||
306 | + fi | ||
301 | 307 | ||
302 | if [ -x ${PROJECTDIR}/win/configure.${1} ]; then | 308 | if [ -x ${PROJECTDIR}/win/configure.${1} ]; then |
303 | 309 |