Add -r <n> option to repeat the query execution n times.
authorKim Nguyễn <kn@lri.fr>
Fri, 20 Apr 2012 13:31:44 +0000 (15:31 +0200)
committerKim Nguyễn <kn@lri.fr>
Fri, 20 Apr 2012 13:31:44 +0000 (15:31 +0200)
commitfcdb6b70f80c4777e319917e9318fc8d54e3a28f
treeebcdf37fa577d822538308a7612044811909c489
parent8b893c226baab084f9fbba8bd25e877dde40c0cd
Add -r <n> option to repeat the query execution n times.
src/main.ml
src/options.ml
src/options.mli