@c "cmd/repeat.texi"
@c extracted from "../../src/sim/chpsim/Command.cc"
@c by "$(top_srcdir)/scripts/extract_texinfo.awk".

@deffn Command repeat n cmd...
Repeat a command @var{cmd} a fixed number of times, @var{n}.  
If there are any errors in during command processing, the loop
will terminate early with a diagnostic message.
@end deffn

