From f87d03334578593d695f6434ceb7d266588c18b0 Mon Sep 17 00:00:00 2001 From: Pavol Rusnak Date: Sat, 7 Sep 2019 11:22:21 +0200 Subject: [PATCH] core: rename PROFILING to TREZOR_PROFILING in trezor_cmd.sh --- core/trezor_cmd.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/core/trezor_cmd.sh b/core/trezor_cmd.sh index 621403009..e1b31ca4d 100644 --- a/core/trezor_cmd.sh +++ b/core/trezor_cmd.sh @@ -7,7 +7,7 @@ if [[ ! "${TREZOR_SRC}" ]]; then echo "expecting TREZOR_SRC"; exit 0; fi # optional inputs: # TREZOR_PROFILE -- profile name (directory) in ~/.trezoremu or full path -# PROFILING -- wrap the uMP/python in the profiler script +# TREZOR_PROFILING -- wrap the uMP/python in the profiler script # outputs: ## uMP @@ -51,7 +51,7 @@ if [[ -f "${TREZOR_PROFILE_DIR}/emu.config" ]]; then fi # for profiling wrap -if [[ "$PROFILING" -gt 0 ]]; then +if [[ "$TREZOR_PROFILING" -gt 0 ]]; then MAIN="${TREZOR_SRC}/../prof/prof.py" else MAIN="${TREZOR_SRC}/main.py"