OpenGrok

35 #               arguments of the failed id and the current low and high
39 #   SKIP_HIGH   If 1, skip verifying the high patch identifier of the
41 #               already tested the high patch.
72 # Issue a message if its verbosity level is high enough.
172   HIGH=$2
174   let DIFF=HIGH-LOW
190   HIGH=$2
192   let DIFF=HIGH-LOW
202   HIGH=$2
211     let DIFF=HIGH-LOW
213     get_mid $LOW $HIGH
237       let HIGH=MID
240     get_mid $LOW $HIGH
335     error "unexpected result for high patch ${EARLIER_THAN}"
336   msg 1 "result for high patch ${EARLIER_THAN} is as expected"

Indexes created Thu Aug 13 00:25:44 UTC 2026