diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-11-20 11:03:37 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-11-20 11:03:37 +0100 |
| commit | b9280baa78fe99bea7c392214e6af6f3af45e5ed (patch) | |
| tree | 3ec268aa4d3d5641609efef0eb5899107aef8dc8 /Makefile.menhir | |
| parent | cf417332491f1c2a738705d4f1d874e4edd4d636 (diff) | |
| download | compcert-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 'Makefile.menhir')
0 files changed, 0 insertions, 0 deletions