goto-cc: use result of native compiler detection#2699

Merged

tautschnig merged 2 commits intodevelopfrom

Aug 11, 2018

Commits on Aug 8, 2018

goto-cc: use result of our native compiler detection
Daniel Kroening
committed
use clang as native compiler for goto-clang
Daniel Kroening
committed