remove unsued variable

[tools/mic.git] / mic / utils / runner.py

diff --git a/mic/utils/runner.py b/mic/utils/runner.py
index c06dd4e..bbb57dd 100644 (file)
--- a/mic/utils/runner.py
+++ b/mic/utils/runner.py
@@ -72,8 +72,7 @@ def runtool(cmdln_or_args, catch=1):
         else:
             raise # relay
     finally:
-        if catch != 3:
-            os.close(dev_null)
+        pass
 
     return (p.returncode, out)