mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Giacomo Vercesi
19 lines
333 B
Python
19 lines
333 B
Python
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
import sys
|
|
|
|
verbose = True
|
|
|
|
|
|
def set_verbose(verb: bool):
|
|
global verbose
|
|
verbose = verb
|
|
|
|
|
|
def log(message):
|
|
# TODO: implement properly using python logging and setting the loglevel
|
|
if verbose:
|
|
sys.stderr.write(message + "\n")
|