index : devtools32 | |
Archlinux32 fork of devtools | gitolite user |
summaryrefslogtreecommitdiff |
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) |
-rw-r--r-- | makechrootpkg.in | 1 |
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 |