49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
 
  | 
			else
				printf " [94;4m$a[m";
			fi
		done
		echo
	}
else
	announce() { shift; echo " --> " $@; }
fi
# the following function is called to report a command invocation
# the person compiling the library. the first argument should be
# an ansi format string; this is used to color-code the tool being
# launched and thus should be different for each one.
report() { announce $@; $@; }
  | 
 | 
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
 
  | 
			else
				printf " [94;4m$a[m";
			fi
		done
		echo
	}
else
	announce() { echo " --> " $@; }
fi
# the following function is called to report a command invocation
# the person compiling the library. the first argument should be
# an ansi format string; this is used to color-code the tool being
# launched and thus should be different for each one.
report() { announce $@; $@; }
  |