Code

Rebuild ansi c when necessary#1503

Code

Merged

thk123 merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

reuk:reuk/rebuild-ansi-c-when-necessaryreuk/cbmc:reuk/rebuild-ansi-c-when-necessaryCopy head branch name to clipboard

Oct 24, 2017

Commits

Commits on Oct 23, 2017

• Rebuild ansi-c library if non-source dependencies change

  reuk

  committed
  13a7553

  Copy full SHA for 13a7553