[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