Codebuild for windows: set up cache path properly#2682

Merged

kroening merged 1 commit intodevelopfrom

Aug 4, 2018

Commits on Aug 4, 2018

Codebuild for windows: set up cache path properly
Daniel Kroening
committed