38 lines
668 B
Bash
38 lines
668 B
Bash
#!/bin/sh
|
|
|
|
# $Header: /home/x_cvs/mit/server/ddx/x386/vga2/configvga2.sh,v 1.2 1992/08/25 13:18:19 dawes Exp $
|
|
#
|
|
# This script generates vga2Conf.c
|
|
#
|
|
# usage: configvga.sh driver1 driver2 ...
|
|
#
|
|
|
|
VGACONF=./vga2Conf.c
|
|
|
|
cat > $VGACONF <<EOF
|
|
/*
|
|
* This file is generated automatically -- DO NOT EDIT
|
|
*/
|
|
|
|
#include "vga.h"
|
|
|
|
extern vgaVideoChipRec
|
|
EOF
|
|
Args="`echo $* | tr '[a-z]' '[A-Z]'`"
|
|
set - $Args
|
|
while [ $# -gt 1 ]; do
|
|
echo " $1," >> $VGACONF
|
|
shift
|
|
done
|
|
echo " $1;" >> $VGACONF
|
|
cat >> $VGACONF <<EOF
|
|
|
|
vgaVideoChipPtr vgaDrivers[] =
|
|
{
|
|
EOF
|
|
for i in $Args; do
|
|
echo " &$i," >> $VGACONF
|
|
done
|
|
echo " NULL" >> $VGACONF
|
|
echo "};" >> $VGACONF
|