mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Giacomo Vercesi
9d5b6d1f34
Move the remaining commands in the `scripts` to be used by the `revng` command line driver.
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")
|