drh 213262fa53 Enhance the ".timer" command in the CLI to accept the "once" argument, and ...

so that it leaves its last real-time result in the $TIMER variable.  Also
fix a harmless warning from an earlier check-in.

FossilOrigin-Name: 8ad7dffc261cbb3f7c9b4d38b04282c805c1c047fb431076f85e577c81f21574

2026-02-01 15:58:37 +00:00

16 KiB

Raw Permalink Blame History

View Raw