diff options
Diffstat (limited to 'development/mono/configure.in.patch')
| -rw-r--r-- | development/mono/configure.in.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/development/mono/configure.in.patch b/development/mono/configure.in.patch deleted file mode 100644 index e97ad18dc9..0000000000 --- a/development/mono/configure.in.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- 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 |