1 #!/bin/sh 2 echo "" 3 for i in $1; do 4 echo "extern void ${i}_init(void);"; 5 done; 6 echo "void init_extensions(void) {" 7 for i in $1; do 8 echo " ${i}_init();"; 9 done 10 echo "}" 11 12