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