41 lines
844 B
Bash
41 lines
844 B
Bash
|
#! /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 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, 0}, \\" >> $OUTFILE
|
||
|
else
|
||
|
echo "#define "$cardtype"_PCI_IDS \\" >> $OUTFILE
|
||
|
finished=0
|
||
|
fi
|
||
|
fi
|
||
|
done
|
||
|
|
||
|
if [ "$finished" = "0" ]; then
|
||
|
echo " {0, 0, 0}" >> $OUTFILE
|
||
|
fi
|