1 files changed, 0 insertions, 2 deletions
diff --git a/configure.py b/configure.py
index 3dc360f12..a904d41f5 100755
--- a/configure.py
+++ b/configure.py
@@ -334,8 +334,6 @@ def process_command_line(args):
             if not enabled_or_disabled_isa(isa):
                 options.disable_isa_extns.append(isa)
 
-    print options.disable_isa_extns
-
     return options
 
 """