gcc mode: error in case multiple files are given with -c and -o#2672

Merged

tautschnig merged 1 commit intodevelopfrom

goto-cc-multiple-source-files

Aug 3, 2018

Commits on Aug 3, 2018

gcc mode: error in case multiple files are given with -c and -o
Daniel Kroening
committed