| #! /bin/bash |
| # |
| # Script to output Linux compatible pci ids file |
| # - Copyright Dave Airlie 2004 (airlied@linux.ie) |
| # |
| OUTFILE=drm_pciids.h |
| |
| finished=0 |
| |
| cat > $OUTFILE <<EOF |
| /* |
| This file is auto-generated from the drm_pciids.txt in the DRM CVS |
| Please contact dri-devel@lists.sf.net to add new cards to this list |
| */ |
| EOF |
| |
| while read pcivend pcidev attribs pciname |
| do |
| if [ "x$pcivend" = "x" ]; then |
| if [ "$finished" = "0" ]; then |
| finished=1 |
| echo " {0, 0, 0}" >> $OUTFILE |
| echo >> $OUTFILE |
| fi |
| else |
| |
| cardtype=`echo "$pcivend" | cut -s -f2 -d'[' | cut -s -f1 -d']'` |
| if [ "x$cardtype" = "x" ]; |
| then |
| echo " {$pcivend, $pcidev, PCI_ANY_ID, PCI_ANY_ID, 0, 0, $attribs}, \\" >> $OUTFILE |
| else |
| echo "#define "$cardtype"_PCI_IDS \\" >> $OUTFILE |
| finished=0 |
| fi |
| fi |
| done |
| |
| if [ "$finished" = "0" ]; then |
| echo " {0, 0, 0}" >> $OUTFILE |
| fi |