|
@@ -458,7 +458,7 @@ jobs:
|
|
cat << "EOF" >> build.sh
|
|
cat << "EOF" >> build.sh
|
|
if [[ "${BUILDMAN}" != "" ]]; then
|
|
if [[ "${BUILDMAN}" != "" ]]; then
|
|
ret=0;
|
|
ret=0;
|
|
- tools/buildman/buildman -o /tmp -P -W ${BUILDMAN} ${OVERRIDE} || ret=$?;
|
|
|
|
|
|
+ tools/buildman/buildman -o /tmp -P -E -W ${BUILDMAN} ${OVERRIDE} || ret=$?;
|
|
if [[ $ret -ne 0 ]]; then
|
|
if [[ $ret -ne 0 ]]; then
|
|
tools/buildman/buildman -o /tmp -seP ${BUILDMAN};
|
|
tools/buildman/buildman -o /tmp -seP ${BUILDMAN};
|
|
exit $ret;
|
|
exit $ret;
|