diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-18 13:27:33 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-18 13:27:33 +0100 |
| commit | 771d8576fbae8bd48f6bc80c74722ce1c7cc5259 (patch) | |
| tree | 88af0ca466b8923af666500927945aa8764988fb /debug | |
| parent | d9c0c49cf32be6aa17918654c05bee45f29fb737 (diff) | |
| download | compcert-kvx-771d8576fbae8bd48f6bc80c74722ce1c7cc5259.tar.gz compcert-kvx-771d8576fbae8bd48f6bc80c74722ce1c7cc5259.zip | |
Add the -Xalign-value options for diab.
The default of the diab compiler is to interpret the alignment
as power of two.
Bug 18490.
Diffstat (limited to 'debug')
0 files changed, 0 insertions, 0 deletions