summaryrefslogtreecommitdiffstats
path: root/src/oh-strip.sh
diff options
context:
space:
mode:
authorP. 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)
commitc1f7cccfdc8d07873804c8128d58721f002bacb0 (patch)
tree299e94b0dfd89864c57effd79aae778dfcbc3255 /src/oh-strip.sh
parentbf813b61f45499db4dce4848ab6f67e4b013fbcd (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 'src/oh-strip.sh')
0 files changed, 0 insertions, 0 deletions