Function _set_defint

redo/cmd_redo.py:68–69

(name, val)

        os.environ['REDO_DEBUG_PIDS'] = '1'
    # These might get overridden in subprocesses in builder.py
    def _set_defint(name, val):
        os.environ[name] = os.environ.get(name, str(int(val)))
    _set_defint('REDO_LOG', opt.log)
    _set_defint('REDO_PRETTY', opt.pretty)
    _set_defint('REDO_COLOR', opt.color)