summaryrefslogtreecommitdiff
path: root/bin/evaluate.in
diff options
context:
space:
mode:
authorMathieu Lirzin <mthl@gnu.org>2016-10-27 12:48:21 +0200
committerMathieu Lirzin <mthl@gnu.org>2016-11-03 00:20:06 +0100
commit3b72a158beee22cec7651c8c2105648f44475bd8 (patch)
tree6971181ac30215b90a49a89393bc3fbb8ffb056f /bin/evaluate.in
parent24d45055077911fb92aaa67762d442af44d20403 (diff)
downloadcuirass-3b72a158beee22cec7651c8c2105648f44475bd8.tar
cuirass-3b72a158beee22cec7651c8c2105648f44475bd8.tar.gz
cuirass: Check specifications from the database inside the loop.
* bin/cuirass (main): Remove 'let' before main loop.
Diffstat (limited to 'bin/evaluate.in')
0 files changed, 0 insertions, 0 deletions