tree 3fc17fbedb484e69a6079da9550c2803bc1c31eb
parent c52dc0e83699cd8378740ef8f32a063a9c24fa51
author Denys Vlasenko <vda.linux@googlemail.com> 1502375643 +0200
committer Denys Vlasenko <vda.linux@googlemail.com> 1502375643 +0200

hush: optional times builtin

function                                             old     new   delta
builtin_times                                          -     108    +108
bltins1                                              360     372     +12
static.times_tbl                                       -       9      +9
------------------------------------------------------------------------------
(add/remove: 2/0 grow/shrink: 1/0 up/down: 129/0)             Total: 129 bytes

Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>