Remove hack in plugins/wscript (see issue #243)

ibex-team · Dec 7, 2016 · 7a5a01a · 7a5a01a
1 parent f0e033d
commit 7a5a01a
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/plugins/wscript b/plugins/wscript
@@ -13,12 +13,6 @@ def get_plugins(path):
 	return map(basename,folders)
 
 def configure (conf):
-
-    	##################################################################################################
-	# Enable AFFINE plugin if option --with-affine-extended is enable
-	if (conf.options.WITH_AFFINE_EXTEND):
-		conf.options.WITH_AFFINE =True
-
 	#store the list of plugins in the environment
 	#conf.env['plugins']=get_plugins(conf.path)
 	plugins=get_plugins(conf.path)