Descriptionrun.bash: fix linux/arm build
Revert to the shell builtin to avoid hosts that do not have /usr/bin/time.
Patch Set 1 #Patch Set 2 : diff -r c4cc7dcc49cb https://code.google.com/p/go #Patch Set 3 : diff -r c4cc7dcc49cb https://code.google.com/p/go #Patch Set 4 : diff -r c4cc7dcc49cb https://go.googlecode.com/hg/ #MessagesTotal messages: 3
|