diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2017-12-15 08:51:16 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-12-15 08:51:16 +0200 |
| commit | f8066ffefcb394dfa9394c81347472328105d43c (patch) | |
| tree | 237781cb93e53b9ccb99b1f0254f1bb5fbd0e8c3 /etc/bootstrap/bbot-bootstrap-linux.sh | |
| parent | c5650d68785f7e6d5f780273846fe2d51424f550 (diff) | |
Enable core dumps in bootstrap scripts
Diffstat (limited to 'etc/bootstrap/bbot-bootstrap-linux.sh')
| -rwxr-xr-x | etc/bootstrap/bbot-bootstrap-linux.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/etc/bootstrap/bbot-bootstrap-linux.sh b/etc/bootstrap/bbot-bootstrap-linux.sh index f9ed447..0856e06 100755 --- a/etc/bootstrap/bbot-bootstrap-linux.sh +++ b/etc/bootstrap/bbot-bootstrap-linux.sh @@ -8,6 +8,11 @@ if ! jobs="$(nproc)"; then jobs=1 fi +# Enable core dumps (into /tmp by default) for postmortem debugging. +# +cd /tmp +ulimit -c unlimited + # Note: bootstrap script options must come before build options. # "$(dirname "$0")/bbot-bootstrap.sh" \ |