diff options
author | Andrew Shadura <andrewsh@debian.org> | 2015-12-14 21:09:13 +0100 |
---|---|---|
committer | Andrew Shadura <andrewsh@debian.org> | 2015-12-14 21:09:13 +0100 |
commit | 81dab8fa1fca2f8239414a001c9fd25c0850f486 (patch) | |
tree | 7fa8d174f585017126dcac275a7d825025c53a15 /debian/patches/series | |
parent | 5fb57ce34fe5143b473131ce3b7821a2458918a1 (diff) |
Use "mcs" instead of "gmcs" for the compiler check for mono > 2.10
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index 5ebea47..35119d2 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,3 +1,4 @@ 01-pkgconfig_fixes.patch 02-generated_sources_path.patch 03-ac_config_macro_dir.patch +04-use_mcs_instead_of_gmcs.patch |