+
+#
+# Plug in the extension module
+#
+has_ext_mod=false
+for PARAM; do
+ if test "$PARAM" = "--enable-extension-module" ; then
+ has_ext_mod=true
+ fi
+done
+
+if test x$has_ext_mod = xtrue; then
+ pushd ../mono-extensions/scripts
+ sh ./prepare-repo.sh || exit 1
+ popd
+else
+ cat mono/mini/Makefile.am.in > mono/mini/Makefile.am
+ cat mono/metadata/Makefile.am.in > mono/metadata/Makefile.am
+fi
+
+