Home | History | Annotate | Download | only in extensions
      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