Properly handle empty DO REPEAT...END REPEAT block. Fixes bug #18407.
authorBen Pfaff <blp@gnu.org>
Fri, 1 Dec 2006 06:45:52 +0000 (06:45 +0000)
committerBen Pfaff <blp@gnu.org>
Fri, 1 Dec 2006 06:45:52 +0000 (06:45 +0000)
commit2be077c70ef05845f6651c2402d3b368e2a3e2b5
tree931028dd1fe9e6b4358ea643a64ebe800d66f73f
parentf199cb060728723c8cda2978b46070f8ac323dc6
Properly handle empty DO REPEAT...END REPEAT block.  Fixes bug #18407.
Thanks to John Darrington for reporting this bug.
tests/bugs/empty-do-repeat.sh [new file with mode: 0755]