AWS codebuild for windows: set build directory#2685

Merged

tautschnig merged 2 commits intodevelopfrom

Aug 6, 2018

Commits on Aug 6, 2018

cleanup unnecessary path from configuration file
Daniel Kroening
committed
AWS codebuild windows: set clcache base directory
Daniel Kroening
committed