Merge branch 'master' of ssh://10.10.0.7/home/wd/git/u-boot/master

[u-boot] / board / esd / ocrtc / cmd_ocrtc.c

diff --git a/board/esd/ocrtc/cmd_ocrtc.c b/board/esd/ocrtc/cmd_ocrtc.c
index ffbb4adddcd5e9ae4a1daa0d5f90a19748dffd6d..f83dfe870bc969ad7ff934ffa7b9168383a5ec0f 100644 (file)
--- a/board/esd/ocrtc/cmd_ocrtc.c
+++ b/board/esd/ocrtc/cmd_ocrtc.c
@@ -25,10 +25,10 @@
 #include <command.h>
 #include <pci.h>
 #include <pci_ids.h>
-#include <405gp_pci.h>
+#include <asm/4xx_pci.h>
 
 
-#if (CONFIG_COMMANDS & CFG_CMD_BSP)
+#if defined(CONFIG_CMD_BSP)
 
 /*
  * Set device number on pci board