From 81a0c0e930fbe158699e070fa39abc7d8082eb68 Mon Sep 17 00:00:00 2001 From: Gilles Chabert Date: Fri, 24 May 2019 08:49:05 +0200 Subject: [PATCH] fix pb in affin wscript --- plugins/affine/wscript | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/affine/wscript b/plugins/affine/wscript index b94263e45..1b524212e 100644 --- a/plugins/affine/wscript +++ b/plugins/affine/wscript @@ -14,7 +14,7 @@ def options (opt): def configure (conf): # The affine plugin is enabled if --with-affine or --with-affine-extended # options are used. - if conf.options.WITH_AFFINE or conf.options.WITH_AFFINE_EXTEND: + if conf.options.WITH_AFFINE or (hasattr(conf.options,'WITH_AFFINE_EXTEND') and conf.options.WITH_AFFINE_EXTEND): conf.env.WITH_AFFINE = True conf.start_msg ("plugin Affine Arithmetic")