libk  Diff

Differences From Artifact [0ffa5553a2]:

To Artifact [e60df5a627]:


49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
			else
				printf " $a";
			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 " $a";
			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 $@; $@; }