diff options
| author | Jan Alexander Steffens (heftig) <jan.steffens@gmail.com> | 2017-09-14 22:21:47 +0200 |
|---|---|---|
| committer | Jan Alexander Steffens (heftig) <jan.steffens@gmail.com> | 2017-09-14 23:31:36 +0200 |
| commit | 0f3778c3d36028e5c9d4e5ec702c8f167e1cebba (patch) | |
| tree | a13a21b90ba0c55d9059075756d3b81bf11d20ff /makechrootpkg.in | |
| parent | 6b55282bd702afd9a36409f85d9cb4c608ada5e5 (diff) | |
| download | devtools32-0f3778c3d36028e5c9d4e5ec702c8f167e1cebba.tar.xz | |
makechrootpkg: Prevent collecting coredumps
Coredumps from build chroots are not generally useful. Prevent
them from being generated.
Avoids a lot of annoyance from the GCC testsuite spawning lots of
systemd-coredump processes.
Just set the soft limit so the user can still raise it in the PKGBUILD
if they insist.
Diffstat (limited to 'makechrootpkg.in')
| -rw-r--r-- | makechrootpkg.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/makechrootpkg.in b/makechrootpkg.in index ef3f2ec..add87d3 100644 --- a/makechrootpkg.in +++ b/makechrootpkg.in @@ -241,8 +241,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. |