scripts/create_linux_pci_lists.sh

   1 #! /bin/bash
   2 #
   3 # Script to output Linux compatible pci ids file
   4 #  - Copyright Dave Airlie 2004 (airlied@linux.ie)
   5 #
   6 OUTFILE=drm_pciids.h
   7
   8 finished=0
   9
  10 cat > $OUTFILE <<EOF
  11 /*
  12    This file is auto-generated from the drm_pciids.txt in the DRM CVS
  13    Please contact dri-devel@lists.sf.net to add new cards to this list
  14 */
  15 EOF
  16
  17 while read pcivend pcidev attribs pciname
  18 do
  19         if [ "x$pcivend" = "x" ]; then
  20                 if [ "$finished" = "0" ]; then
  21                         finished=1
  22                         echo "  {0, 0, 0}" >> $OUTFILE
  23                         echo >> $OUTFILE
  24                 fi
  25         else
  26
  27                 cardtype=`echo "$pcivend" | cut -s -f2 -d'[' | cut -s -f1 -d']'`
  28                 if [ "x$cardtype" = "x" ];
  29                 then
  30                         echo "  {$pcivend, $pcidev, PCI_ANY_ID, PCI_ANY_ID, 0, 0, $attribs}, \\" >> $OUTFILE
  31                 else
  32                         echo "#define "$cardtype"_PCI_IDS \\" >> $OUTFILE
  33                         finished=0
  34                 fi
  35         fi
  36 done
  37
  38 if [ "$finished" = "0" ]; then
  39         echo "  {0, 0, 0}" >> $OUTFILE
  40 fi