From cc60eb1b9004c84b1cffc7924a379e3bdfb11d9e Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sun, 20 Dec 2015 17:57:34 +0100
Subject: [PATCH] remove compiler warnings

---
 hermit/arch/x86/kernel/pci.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/hermit/arch/x86/kernel/pci.c b/hermit/arch/x86/kernel/pci.c
index 4a9a78624..330f1fe84 100644
--- a/hermit/arch/x86/kernel/pci.c
+++ b/hermit/arch/x86/kernel/pci.c
@@ -170,7 +170,10 @@ int pci_get_device_info(uint32_t vendor_id, uint32_t device_id, pci_info_t* info
 int print_pci_adapters(void)
 {
 	uint32_t slot, bus;
-	uint32_t i, counter = 0;
+	uint32_t counter = 0;
+#ifdef WITH_PCI_IDS
+	uint32_t i;
+#endif
 
 	if (!mechanism)
 		pci_init();