diff options
| author | Dave Reisner <dreisner@archlinux.org> | 2011-09-10 23:21:22 -0400 |
|---|---|---|
| committer | Allan McRae <allan@archlinux.org> | 2011-09-11 13:47:07 +1000 |
| commit | c736a12e86b826f3079f3cccde86d497528f85f3 (patch) | |
| tree | 1912678ef26a48ecc6ae8b8e0c3ea3ce33801d2b /etc | |
| parent | 7f1235ccbc3a81a4f8a50de96cea512353d6773e (diff) | |
makepkg: unset errexit when sourcing /etc/profile
This is a fix for a bash3 specific bug, where a file sourced by
/etc/profile would exit non-zero and make its way back up to makepkg,
forcing it to exit after package installation. Along with unsetting the
ERR handler, temporarily unset errexit to avoid this.
Signed-off-by: Dave Reisner <dreisner@archlinux.org>
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions