diff options
Diffstat (limited to 'dumpsetups')
| -rwxr-xr-x | dumpsetups | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/dumpsetups b/dumpsetups new file mode 100755 index 0000000..e65b265 --- /dev/null +++ b/dumpsetups @@ -0,0 +1,15 @@ +#!/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-2003 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 -e '\nvoid all'$LIB's_setup(void)' +echo '{' +awk -F '[ (]' '/void .*_setup\(void\)$/&&!/'$LIB'/{print " "$2"();"}' *.c +echo '}' |