#!/bin/sh # LATER make this into a regular awk script DIR=`pwd` LIB=`basename $DIR` echo '// Do not edit this file, run "make" instead. /* Copyright (c) 2002-2004 krzYszcz and others. * For information on usage and redistribution, and for a DISCLAIMER OF ALL * WARRANTIES, see the file, "LICENSE.txt," in this distribution. */ ' awk '/void .*_setup\(void\)$/&&!/'$LIB'/{print $0";"}' *.c echo "" echo 'void all'$LIB's_setup(void)' echo '{' awk -F '[ (]' '/void .*_setup\(void\)$/&&!/'$LIB'/{print " "$2"();"}' *.c echo '}'