equal
deleted
inserted
replaced
82 devnull = open('/dev/null', 'w') |
82 devnull = open('/dev/null', 'w') |
83 oldstderr = os.dup(sys.stderr.fileno()) |
83 oldstderr = os.dup(sys.stderr.fileno()) |
84 os.dup2(devnull.fileno(), sys.stderr.fileno()) |
84 os.dup2(devnull.fileno(), sys.stderr.fileno()) |
85 objects = cc.compile([fname], output_dir=tmpdir) |
85 objects = cc.compile([fname], output_dir=tmpdir) |
86 cc.link_executable(objects, os.path.join(tmpdir, "a.out")) |
86 cc.link_executable(objects, os.path.join(tmpdir, "a.out")) |
87 except: |
87 except Exception: |
88 return False |
88 return False |
89 return True |
89 return True |
90 finally: |
90 finally: |
91 if oldstderr is not None: |
91 if oldstderr is not None: |
92 os.dup2(oldstderr, sys.stderr.fileno()) |
92 os.dup2(oldstderr, sys.stderr.fileno()) |