diff options
author | Luke Shumaker <lukeshu@parabola.nu> | 2017-05-05 18:41:10 -0400 |
---|---|---|
committer | Jan Alexander Steffens (heftig) <jan.steffens@gmail.com> | 2017-07-05 18:21:56 +0200 |
commit | a9dab9533498577cd0196939bd9346310a7552e0 (patch) | |
tree | dc2cce471d545cf602a2ba4315e24bf12a08f267 /makechrootpkg.in | |
parent | a396a6908110a860a89a1e640153bac1e0da2a57 (diff) | |
download | devtools32-a9dab9533498577cd0196939bd9346310a7552e0.tar.xz |
Add `# shellcheck` directives to quiet shellcheck, add PKGBUILD.proto
The added PKGBUILD.proto file is so that shellcheck can know know what
to expect that a PKGBUILD sets.
Diffstat (limited to 'makechrootpkg.in')
-rw-r--r-- | makechrootpkg.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/makechrootpkg.in b/makechrootpkg.in index 2dd160a..ffe6e42 100644 --- a/makechrootpkg.in +++ b/makechrootpkg.in @@ -241,6 +241,7 @@ EOF # These functions aren't run in makechrootpkg, # so no global variables _chrootbuild() { + # shellcheck source=/dev/null . /etc/profile # Beware, there are some stupid arbitrary rules on how you can # use "$" in arguments to commands with "sudo -i". ${foo} or |