Ensure new regression folders work with Make *and* CMake#1392

thk123 merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

reuk:reuk/fixup-appveyor-regressionsreuk/cbmc:reuk/fixup-appveyor-regressionsCopy head branch name to clipboard