author | andrewj |
Fri, 15 Oct 2010 16:19:01 +0100 | |
changeset 121 | f4712cc7c69e |
parent 1 | 2fb8b9db1c86 |
permissions | -rw-r--r-- |
#! /bin/sh # Call device init functions. file="$1" shift devices="$@" echo '/* Generated by gen_devices.sh */' > $file for x in $devices ; do echo "void ${x}_register(void);" >> $file done echo "void register_devices(void)" >> $file echo "{" >> $file for x in $devices ; do echo " ${x}_register();" >> $file done echo "}" >> $file