diff options
author | P. J. McDermott <pjm@nac.net> | 2013-05-09 11:29:28 (EDT) |
---|---|---|
committer | P. J. McDermott <pjm@nac.net> | 2013-05-09 11:42:59 (EDT) |
commit | c1f7cccfdc8d07873804c8128d58721f002bacb0 (patch) | |
tree | 299e94b0dfd89864c57effd79aae778dfcbc3255 /man/oh-copyconfig.1 | |
parent | bf813b61f45499db4dce4848ab6f67e4b013fbcd (diff) |
Makefile.in: Replace old sed cmds with basename.
The result is the same, and basename is a bit faster than sed is.
A quick and dirty benchmark:
printf 'printf and sed:\n'
i=0
while [ ${i} -lt 3 ]; do
time -p sh >/dev/null <<-EOF
i=0
while [ \${i} -lt 1000 ]; do
printf '%s' 'foo/bar' | sed 's|^.*/||'
i=\$((\$i + 1))
done
EOF
i=$(($i + 1))
done
printf '\nbasename:\n'
i=0
while [ ${i} -lt 3 ]; do
time -p sh >/dev/null <<-EOF
i=0
while [ \${i} -lt 1000 ]; do
basename 'foo/bar'
i=\$((\$i + 1))
done
EOF
i=$(($i + 1))
done
And the unsurprising results:
printf and sed:
real 1.17
user 0.02
sys 0.17
real 1.18
user 0.01
sys 0.18
real 1.17
user 0.02
sys 0.16
basename:
real 0.74
user 0.02
sys 0.08
real 0.74
user 0.02
sys 0.08
real 0.72
user 0.04
sys 0.06
basename is about 37% – 38% faster.
Diffstat (limited to 'man/oh-copyconfig.1')
0 files changed, 0 insertions, 0 deletions