diff options
| 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 | |
| parent | ea42f2e4085e993335c05ab3897036d5af952ffc (diff) | |
| parent | 0f3778c3d36028e5c9d4e5ec702c8f167e1cebba (diff) | |
| download | devtools-3a3649dbb5dcb1f85dafbf557213d71977f2bf4a.tar.xz | |
Merge remote-tracking branch 'upstream/master'
| -rw-r--r-- | makechrootpkg.in | 4 |
1 files changed, 4 insertions, 0 deletions
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. |