diff options
author | ggardet <guillaume.gardet@opensuse.org> | 2018-06-28 11:14:59 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-28 11:14:59 +0200 |
commit | 54a5085a8102e64c90165e4e6b491c14f86b0ddd (patch) | |
tree | 70fcf48aabf1160bd09dc6452e065cbfef9662d5 /build-vm | |
parent | 38c082cdd64e8523e12c15fb66242aae8a886cd2 (diff) |
Enable Core dump generation in VM
Diffstat (limited to 'build-vm')
-rw-r--r-- | build-vm | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -599,6 +599,9 @@ vm_detect_2nd_stage() { date -s `cat /.build/.date` fi + # Enable Core dump generation + echo "core.%p" > /proc/sys/kernel/core_pattern + return 0 } |