There was an error while loading. Please reload this page.
1 parent 12d4b2f commit 57e4876Copy full SHA for 57e4876
2 files changed
src/shell/scripts/omp.bash
@@ -116,7 +116,7 @@ function _omp_hook() {
116
_omp_stack_count=$((${#DIRSTACK[@]} - 1))
117
118
_omp_execution_time=-1
119
- if [[ -n "${_omp_start_time+x}" ]]; then
+ if [[ $_omp_start_time ]]; then
120
local omp_now=$("$_omp_executable" get millis)
121
_omp_execution_time=$((omp_now - _omp_start_time))
122
_omp_no_status=false
src/shell/scripts/omp.zsh
@@ -63,7 +63,7 @@ function _omp_precmd() {
63
_omp_no_status=true
64
_omp_tooltip_command=''
65
66
- if [ -n "${_omp_start_time+x}" ]; then
+ if [ $_omp_start_time ]; then
67
local omp_now=$($_omp_executable get millis)
68
_omp_execution_time=$(($omp_now - $_omp_start_time))
69
0 commit comments