diff options
Diffstat (limited to 'debian/patches/0700-init.patch')
| -rw-r--r-- | debian/patches/0700-init.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/patches/0700-init.patch b/debian/patches/0700-init.patch index 506d4f4..36250a6 100644 --- a/debian/patches/0700-init.patch +++ b/debian/patches/0700-init.patch @@ -90,7 +90,7 @@ Index: trunk/scripts/ipmiutil_wdt +. /lib/lsb/init-functions + name=ipmiutil_wdt - prog="/usr/bin/ipmiutil wdt" + progn="/usr/bin/ipmiutil wdt" wdtcron=/etc/cron.d/wdt @@ -123,10 +125,13 @@ case "$1" in restart) @@ -216,7 +216,7 @@ Index: trunk/configure.ac =================================================================== --- trunk.orig/configure.ac +++ trunk/configure.ac -@@ -421,11 +421,11 @@ else +@@ -422,11 +422,11 @@ else MD2_CFLAGS="-DSKIP_MD2" init0=/etc/rc.d/init.d fi |