Project

General

Profile

« Previous | Next » 

Revision 9546

lib/sh/binsearch.sh: binsearch(): echo the command being run using new echo_run()

View differences:

lib/sh/binsearch.sh
11 11
	while true; do
12 12
		i=$(( (min + max)/2 )); echo_vars i
13 13
		if ! (( i > min )); then break; fi
14
		if "$@"; then min="$i"; echo_vars min
14
		if echo_run "$@"; then min="$i"; echo_vars min
15 15
		else max="$i"; echo_vars max
16 16
		fi
17 17
	done

Also available in: Unified diff