diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2020-07-28 18:16:44 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2020-07-28 18:16:44 +0200 |
| commit | 908c4346d9f66b96d12767bfe9e53d45fb24a6f6 (patch) | |
| tree | d3ecc1aee9042a99e98b7252e681a79da5b90b08 /debian/ipmitool.prerm | |
| parent | c41d9476dcfce18a0105f96e9b63272e63f15051 (diff) | |
Add System V init scripts again
Diffstat (limited to 'debian/ipmitool.prerm')
| -rw-r--r-- | debian/ipmitool.prerm | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/debian/ipmitool.prerm b/debian/ipmitool.prerm new file mode 100644 index 0000000..b45afde --- /dev/null +++ b/debian/ipmitool.prerm @@ -0,0 +1,9 @@ +#!/bin/sh + +set -e + +ipmievd_initd_failed() { + : +} + +#DEBHELPER# |
