1 #! /bin/sh

     2 # Call device init functions.

     3 

     4 file="$1"

     5 shift

     6 devices="$@"

     7 echo '/* Generated by gen_devices.sh */' > $file

     8 for x in $devices ; do

     9     echo "void ${x}_register(void);" >> $file

    10 done

    11 echo "void register_devices(void)" >> $file

    12 echo "{" >> $file

    13 for x in $devices ; do

    14     echo "    ${x}_register();" >> $file

    15 done

    16 echo "}" >> $file