makechrootpkg: Adjust to work properly with `set -e` - devtools32

diff options

author	Luke Shumaker <lukeshu@parabola.nu>	2018-01-15 17:57:00 +0100
committer	Bartłomiej Piotrowski <bpiotrowski@archlinux.org>	2018-01-21 14:16:10 +0100
commit	75ad2aca572d36c4df1b07153e2403534fbd89ed (patch)
tree	43fd2d03fc5ae95d2fc4eb247c17407ed09651a7 /lib/common.sh
parent	aee72cae3231811058d6993d71f97e449e477d8f (diff)

makechrootpkg: Adjust to work properly with `set -e`

This worked properly until eab5aba.

Diffstat (limited to 'lib/common.sh')

0 files changed, 0 insertions, 0 deletions