Using loop in bats/CMakeLists.txt.
Merge branch 'master' into esf