#! /bin/sh /usr/share/dpatch/dpatch-run
## 20-linux-libc-dev.dpatch by  <jcristau@debian.org>
##
## All lines beginning with `## DP:' are a description of the patch.
## DP: No description.

@DPATCH@
diff -urNad ipmitool-1.8.8~/src/ipmievd.c ipmitool-1.8.8/src/ipmievd.c
--- ipmitool-1.8.8~/src/ipmievd.c	2007-07-20 16:01:43.000000000 +0200
+++ ipmitool-1.8.8/src/ipmievd.c	2007-07-20 16:02:14.000000000 +0200
@@ -54,7 +54,6 @@
 
 #ifdef IPMI_INTF_OPEN
 # if defined(HAVE_OPENIPMI_H)
-#  include <linux/compiler.h>
 #  include <linux/ipmi.h>
 # elif defined(HAVE_FREEBSD_IPMI_H)
 #  include <sys/ipmi.h>
diff -urNad ipmitool-1.8.8~/src/plugins/open/open.c ipmitool-1.8.8/src/plugins/open/open.c
--- ipmitool-1.8.8~/src/plugins/open/open.c	2007-07-20 16:01:21.000000000 +0200
+++ ipmitool-1.8.8/src/plugins/open/open.c	2007-07-20 16:01:43.000000000 +0200
@@ -50,7 +50,6 @@
 #endif
 
 #if defined(HAVE_OPENIPMI_H)
-# include <linux/compiler.h>
 # include <linux/ipmi.h>
 #elif defined(HAVE_FREEBSD_IPMI_H)
 /* FreeBSD OpenIPMI-compatible header */