diff options
Diffstat (limited to 'development/mono/configure.in.patch')
| -rw-r--r-- | development/mono/configure.in.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/development/mono/configure.in.patch b/development/mono/configure.in.patch new file mode 100644 index 0000000000..e97ad18dc9 --- /dev/null +++ b/development/mono/configure.in.patch @@ -0,0 +1,11 @@ +--- configure.in 2009-01-09 03:48:43.000000000 +0100 ++++ configure.in.patch 2009-01-19 21:56:04.000000000 +0100 +@@ -2182,7 +2182,7 @@ + if test "x$cross_compiling" = "xno"; then + mono_cfg_dir=`cygpath -w -a $mono_cfg_root`\\etc + else +- mono_cfg_dir=`echo $mono_cfg_root | tr '/' '\\\'`\\etc ++ mono_cfg_dir=`echo $mono_cfg_root | tr '/' '\\'`\\etc + fi + else + mono_cfg_dir=$mono_cfg_root/etc |