diff --git a/src/init/omp.bash b/src/init/omp.bash index 674c5f6f..78123198 100644 --- a/src/init/omp.bash +++ b/src/init/omp.bash @@ -9,7 +9,7 @@ if [[ ! -d "/tmp" ]]; then TIMER_START="${HOME}/.${USER}.start.$$" fi - PS0='$(::OMP:: --millis > "$TIMER_START")' +PS0='$(::OMP:: --millis > "$TIMER_START")' function _omp_hook() { local ret=$?