From ce5c899f22106926ca50c153a600b537d08970bc Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Fri, 4 Jul 2008 17:47:11 +0100 Subject: stubdom: use host's gcc This makes stubdom use the host's gcc instead of downloading/compiling binutils+gcc. That requires a bunch of changes and even uncovered a few bugs, but saves a lot of time. Signed-off-by: Samuel Thibault --- extras/mini-os/kernel.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'extras/mini-os/kernel.c') diff --git a/extras/mini-os/kernel.c b/extras/mini-os/kernel.c index cb0ee52213..b92f9bdf58 100644 --- a/extras/mini-os/kernel.c +++ b/extras/mini-os/kernel.c @@ -449,6 +449,8 @@ static void pcifront_thread(void *p) } pci_dev = init_pcifront(NULL); + if (!pci_dev) + return; printk("PCI devices:\n"); pcifront_scan(pci_dev, print); } -- cgit v1.2.3