more changes on original files
[linux-2.4.git] / drivers / pci / Config.in
1 #
2 # PCI configuration
3 #
4
5 if [ "$CONFIG_PCI" = "y" ]; then
6    bool 'PCI device name database' CONFIG_PCI_NAMES
7 fi