diff options
| author | wsnipex <wsnipex@a1.net> | 2014-11-19 10:48:36 +0100 |
|---|---|---|
| committer | wsnipex <wsnipex@a1.net> | 2014-11-19 10:48:36 +0100 |
| commit | cf14708e9fc961f14fd7be6bdb32afd607c959c9 (patch) | |
| tree | d4b889492990eb063bf9ac1d895b35e8377f57b7 /tools | |
| parent | 65027152ef63ff8a169015cd4cc2518aaa80b5df (diff) | |
[linux] systemd-coredumpctl was renamed to coredumpctl, support both in kodi.sh
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/Linux/kodi.sh.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/Linux/kodi.sh.in b/tools/Linux/kodi.sh.in index 938582d691..10f164b50f 100644 --- a/tools/Linux/kodi.sh.in +++ b/tools/Linux/kodi.sh.in @@ -101,6 +101,8 @@ print_crash_report() if command_exists gdb; then if command_exists systemd-coredumpctl; then systemd-coredumpctl dump -o core ${bin_name}.bin > /dev/null 2>&1 + elif command_exists coredumpctl; then + coredumpctl dump -o core ${bin_name}.bin > /dev/null 2>&1 fi single_stacktrace "$PWD" 1 # Find in plugins directories |