index : devtools32 | |
Archlinux32 fork of devtools | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2017-09-15 06:04:51 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-09-15 06:04:51 +0200 |
commit | 3a3649dbb5dcb1f85dafbf557213d71977f2bf4a (patch) | |
tree | 6c9846ca8f64e17b8d78c835f877b217c2739128 /makechrootpkg.in | |
parent | ea42f2e4085e993335c05ab3897036d5af952ffc (diff) | |
parent | 0f3778c3d36028e5c9d4e5ec702c8f167e1cebba (diff) |
-rw-r--r-- | makechrootpkg.in | 4 |
diff --git a/makechrootpkg.in b/makechrootpkg.in index 71e527d..6d89827 100644 --- a/makechrootpkg.in +++ b/makechrootpkg.in @@ -242,8 +242,12 @@ EOF # These functions aren't run in makechrootpkg, # so no global variables _chrootbuild() { + # No coredumps + ulimit -c 0 + # 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 # ${1} is OK, but $foo or $1 isn't. |