core: rename PROFILING to TREZOR_PROFILING in trezor_cmd.sh

pull/496/head
Pavol Rusnak 5 years ago
parent e91cd6bfa6
commit f87d033345
No known key found for this signature in database
GPG Key ID: 91F3B339B9A02A3D

@ -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"

Loading…
Cancel
Save