Index: crash-5.0.3/dev.c
===================================================================
--- crash-5.0.3.orig/dev.c	2010-04-08 20:23:48.000000000 +0530
+++ crash-5.0.3/dev.c	2010-05-11 16:08:26.000000000 +0530
@@ -2214,7 +2214,7 @@
 	char 		  buf3[BUFSIZE];
 
 	if (!symbol_exists("pci_devices"))
-		error(FATAL, "no PCI devices found on this system.\n");
+		option_not_supported('p');
 
 	BZERO(&pcilist_data, sizeof(struct list_data));