diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-02-29 09:04:23 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-02-29 09:04:23 +0100 |
commit | 214fc8b834760925e77e3c713c1e7dcf06a4889e (patch) | |
tree | 7c23d115fce1e5f73fd42371b20986bc41f5e59c /driver/Configuration.ml | |
parent | bd6f371e4be7e745c049c5c5cc7523c6c2995df5 (diff) | |
download | compcert-214fc8b834760925e77e3c713c1e7dcf06a4889e.tar.gz compcert-214fc8b834760925e77e3c713c1e7dcf06a4889e.zip |
Added gcc's Xassembler option.
The Xassembler option passes one option to the assembler and can
be used to pass options to the underlying assembler that the gcc
driver does not recognize.
Bug 18066
Diffstat (limited to 'driver/Configuration.ml')
0 files changed, 0 insertions, 0 deletions