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