From ebb77deb174193ce778df7e3f6463d7a6f1f9970 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Frings-F=C3=BCrst?= Date: Wed, 15 Mar 2023 20:58:41 +0100 Subject: Refresh patches --- debian/patches/0700-init.patch | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'debian/patches/0700-init.patch') 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 -- cgit v1.2.3