author | martin.trojer@nokia.com |
Fri, 31 Jul 2009 15:01:17 +0100 | |
changeset 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