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 | |
parent | d9c0c49cf32be6aa17918654c05bee45f29fb737 (diff) | |
download | compcert-771d8576fbae8bd48f6bc80c74722ce1c7cc5259.tar.gz compcert-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.
-rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -115,6 +115,7 @@ case "$target" in cprepro="${toolprefix}dcc" cprepro_options="-E -D__GNUC__" casm="${toolprefix}das" + casm_options="-Xalign-value" asm_supports_cfi=false clinker="${toolprefix}dcc" libmath="-lm" |