diff options
| author | Luke Shumaker <lukeshu@lukeshu.com> | 2017-05-04 01:55:41 -0400 |
|---|---|---|
| committer | Luke Shumaker <lukeshu@lukeshu.com> | 2017-05-04 03:12:06 -0400 |
| commit | ba18e47d13ed606066ed75a3d2b624b242c9c3c5 (patch) | |
| tree | 1b7c48c9d2c8c5c4d42a8bda2772469dc3e24458 /src/chroot-tools/hooks-chcleanup.sh | |
| parent | 95d22e66712e1f8a20da85d1f97387190d5d7536 (diff) | |
chroot-tools: tidy shebangs of library files
Diffstat (limited to 'src/chroot-tools/hooks-chcleanup.sh')
| -rw-r--r-- | src/chroot-tools/hooks-chcleanup.sh | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/chroot-tools/hooks-chcleanup.sh b/src/chroot-tools/hooks-chcleanup.sh index 7afb13d..e76eac0 100644 --- a/src/chroot-tools/hooks-chcleanup.sh +++ b/src/chroot-tools/hooks-chcleanup.sh @@ -1,5 +1,5 @@ -#!/usr/bin/env bash -# Copyright (C) 2013 Luke Shumaker <lukeshu@sbcglobal.net> +#!/hint/bash -euE -o pipefail +# Copyright (C) 2013, 2017 Luke Shumaker <lukeshu@sbcglobal.net> # # License: GNU GPLv2+ # @@ -16,12 +16,9 @@ # You should have received a copy of the GNU General Public License # along with this program. If not, see <http://www.gnu.org/licenses/>. -set -euE - hook_pre_build+=("clean_chroot") clean_chroot() ( - set +x local copydir=$1 if $INCHROOT; then cd /startdir |