extensions/create_initext

#!/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 "}"