X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=autogen.sh;h=a576ed6672afab5a9697e610ce8b6a9e0265b208;hb=88ad199d5c93e056ca2da8b4163ee16a6a67c373;hp=8fc51d24df070776c14a3ba73fd310cba639610a;hpb=7f0328f12ae9b91c9adc5dd0c9ce0fc770f81a06;p=mono.git diff --git a/autogen.sh b/autogen.sh index 8fc51d24df0..a576ed6672a 100755 --- a/autogen.sh +++ b/autogen.sh @@ -107,15 +107,19 @@ fi # Plug in the extension module # has_ext_mod=false +ext_mod_args='' for PARAM; do - if test "$PARAM" = "--enable-extension-module" ; then - has_ext_mod=true - fi + if [[ $PARAM =~ "--enable-extension-module" ]] ; then + has_ext_mod=true + if [[ $PARAM =~ "=" ]] ; then + ext_mod_args=`echo $PARAM | cut -d= -f2` + fi + fi done if test x$has_ext_mod = xtrue; then pushd ../mono-extensions/scripts - sh ./prepare-repo.sh || exit 1 + sh ./prepare-repo.sh $ext_mod_args || exit 1 popd else cat mono/mini/Makefile.am.in > mono/mini/Makefile.am