diff options
Diffstat (limited to 'tools/builder_common.sh')
| -rw-r--r-- | tools/builder_common.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tools/builder_common.sh b/tools/builder_common.sh index 1125850..98c3669 100644 --- a/tools/builder_common.sh +++ b/tools/builder_common.sh @@ -155,8 +155,10 @@ print_error_pfS() { echo "Log saved on ${LOGFILE}" && \ tail -n20 ${LOGFILE} >&2 echo - echo "Press enter to continue." - read ans + if [ -z "${NOT_INTERACTIVE}" ]; then + echo "Press enter to continue." + read ans + fi kill $$ exit 1 } |
