diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-11-26 19:04:04 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-11-26 19:04:04 +0100 |
| commit | 730966facd095f87620aa8d0798ccac7e36aa589 (patch) | |
| tree | c99089d87ac7a8a74c00be231587f7fcb1484f86 /driver/Driver.ml | |
| parent | 373b7e7d2ef35d7d07070abc28680b48cbb307d9 (diff) | |
| download | compcert-730966facd095f87620aa8d0798ccac7e36aa589.tar.gz compcert-730966facd095f87620aa8d0798ccac7e36aa589.zip | |
New option --conf.
The option --conf allows it to overwrite the compcert.ini file.
Bug 17431.
Diffstat (limited to 'driver/Driver.ml')
| -rw-r--r-- | driver/Driver.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index 6d961c64..8d144ad5 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -572,6 +572,7 @@ let cmdline_actions = Exact "-falign-branch-targets", Integer(fun n -> option_falignbranchtargets := n); Exact "-falign-cond-branches", Integer(fun n -> option_faligncondbranchs := n); (* Target processor options *) + Exact "--conf", String (fun _ -> ()); (* Ignore option since it is already handled *) Exact "-mthumb", Set option_mthumb; Exact "-marm", Unset option_mthumb; (* Assembling options *) |