aboutsummaryrefslogtreecommitdiffstats
path: root/cfrontend/C2C.ml
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2015-11-20 11:03:37 +0100
committerBernhard Schommer <bernhardschommer@gmail.com>2015-11-20 11:03:37 +0100
commitb9280baa78fe99bea7c392214e6af6f3af45e5ed (patch)
tree3ec268aa4d3d5641609efef0eb5899107aef8dc8 /cfrontend/C2C.ml
parentcf417332491f1c2a738705d4f1d874e4edd4d636 (diff)
downloadcompcert-b9280baa78fe99bea7c392214e6af6f3af45e5ed.tar.gz
compcert-b9280baa78fe99bea7c392214e6af6f3af45e5ed.zip
Separate assembler options for the diab backend.
The diab backend calls the assembler directly and does not call the compiler like for the gcc based backends. Fix 17668.
Diffstat (limited to 'cfrontend/C2C.ml')
0 files changed, 0 insertions, 0 deletions