diff options
| author | Luke Shumaker <lukeshu@parabola.nu> | 2017-05-05 18:41:10 -0400 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-07-14 07:00:23 +0200 |
| commit | cd000ccc0144c7ec54696520bf7217163a39cde0 (patch) | |
| tree | 0d16c2eaec9923d73f17dcab673138252573c899 /makechrootpkg.in | |
| parent | 196cdd7ae6626e8c66336b6121c9024b70acea9c (diff) | |
| download | devtools-cd000ccc0144c7ec54696520bf7217163a39cde0.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 f527257..71bc9dc 100644 --- a/makechrootpkg.in +++ b/makechrootpkg.in @@ -242,6 +242,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 |