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