[m-rev.] diff: delete workaround for bug #354 in cairo binding
Julien Fischer
jfischer at opturion.com
Mon Sep 1 16:54:37 AEST 2014
Delete the workaround for bug #354 in the cairo binding.
extras/graphics/mercury_cairo/Mercury.options:
As above.
Julien.
diff --git a/extras/graphics/mercury_cairo/Mercury.options b/extras/graphics/mercury_cairo/Mercury.options
index 66872e0..9eb74db 100644
--- a/extras/graphics/mercury_cairo/Mercury.options
+++ b/extras/graphics/mercury_cairo/Mercury.options
@@ -12,8 +12,4 @@ MCFLAGS = \
--cflags $(CAIRO_CFLAGS) \
--ld-flags $(CAIRO_LDFLAGS)
-# Workaround for Mercury bug #354.
-#
-MCFLAGS += --trace-table-io-only-retry
-
MCFLAGS-mercury_cairo = --no-warn-nothing-exported --no-warn-interface-imports
More information about the reviews
mailing list