On Fri, Oct 29, 2004 at 11:47:17PM +0200, Adrian Bunk wrote:
> --- linux-2.6.9-mm1-full/drivers/cpufreq/cpufreq_ondemand.c.old 2004-10-22 21:37:33.000000000 +0200
> +++ linux-2.6.9-mm1-full/drivers/cpufreq/cpufreq_ondemand.c 2004-10-22 21:52:35.000000000 +0200
> @@ -26,7 +26,6 @@
> #include <linux/kmod.h>
> #include <linux/workqueue.h>
> #include <linux/jiffies.h>
> -#include <linux/config.h>
> #include <linux/kernel_stat.h>
> #include <linux/percpu.h>
Not only was this duplicated, but its also unnecessary as
there are no CONFIG_ options in that file.
You may want to add that checking to your script too.