[PATCH 1/2] ipipe: fixup patch generator

[Philippe Gerum]

Signed-off-by: Philippe Gerum <rpm at xenomai.org>
---
 scripts/ipipe/genpatches.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/ipipe/genpatches.sh b/scripts/ipipe/genpatches.sh
index cb83b6aed8fb..cd62d1bf258e 100755
--- a/scripts/ipipe/genpatches.sh
+++ b/scripts/ipipe/genpatches.sh
@@ -61,6 +61,7 @@ BEGIN {
     driver_arch["cpuidle/cpuidle.c"]="noarch"
     driver_arch["tty/serial/8250/8250_core.c"]="noarch"
     driver_arch["iommu/irq_remapping.c"]="noarch"
+    driver_arch["base/core.c"]="noarch"
 
     driver_arch["clk/mxs/clk-imx28.c"]="arm"
     driver_arch["clocksource/mxs_timer.c"]="arm"
-- 
2.17.2