diff options
Diffstat (limited to '')
| -rw-r--r-- | lang/mono-basic/files/patch-configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/mono-basic/files/patch-configure b/lang/mono-basic/files/patch-configure index bef7416890be..7cdf0b5b7c82 100644 --- a/lang/mono-basic/files/patch-configure +++ b/lang/mono-basic/files/patch-configure @@ -1,6 +1,6 @@ ---- configure.orig +--- configure.orig 2018-04-05 17:50:19 UTC +++ configure -@@ -19,7 +19,7 @@ +@@ -52,7 +52,7 @@ fi echo "prefix=$prefix" > build/config.make echo "exec_prefix=\${prefix}" >> build/config.make echo "mono_libdir=\${exec_prefix}/lib" >> build/config.make |