blob: bb0e6878238648f056663fc31a8bba10778df9e1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
#! /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
|
