diff --git a/releng/run_all_releng b/releng/run_all_releng index c81f8f04..1813e986 100755 --- a/releng/run_all_releng +++ b/releng/run_all_releng @@ -191,7 +191,7 @@ fi if [ -f "${CLOG}" ]; then set +e # lines, perl regex, leading tabs - grep -n -PT "${LIST_KWD}" "${CLOG}" | tee -a ${CLOG} + grep -n -P "${LIST_KWD}" "${CLOG}" | tee -a ${CLOG} RET_GREP="$?" case ${RET_GREP} in 0) # found