Merge remote-tracking branch 'origin/dev' into prerelease

2018-07-02 20:50:51 -05:00 · 2018-07-02 20:50:51 -05:00 · 041ef30d42
parent d45bccf9b4 3a4cf40473
commit 041ef30d42
1 changed files with 1 additions and 1 deletions
--- a/s6/debian-root/etc/cont-init.d/20-start.sh
+++ b/s6/debian-root/etc/cont-init.d/20-start.sh
@ -1,5 +1,5 @@
 #!/usr/bin/with-contenv bash
-set
+set -e

 bashCmd='bash -e'
 if [ "${PH_VERBOSE:-0}" -gt 0 ] ; then