Regularise the AWS CodeBuild Clang buildspecs#4750

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/fix/regularise-buildspecssmowton/cbmc:smowton/fix/regularise-buildspecsCopy head branch name to clipboard