+
+#
+# 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
+ cat mono/mini/Makefile.am.in ../mono-extensions/mono/mini/Makefile.am > mono/mini/Makefile.am
+else
+ cat mono/mini/Makefile.am.in > mono/mini/Makefile.am
+fi
+
+