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 /lib/Readconfig.mll | |
| parent | 373b7e7d2ef35d7d07070abc28680b48cbb307d9 (diff) | |
| download | compcert-kvx-730966facd095f87620aa8d0798ccac7e36aa589.tar.gz compcert-kvx-730966facd095f87620aa8d0798ccac7e36aa589.zip | |
New option --conf.
The option --conf allows it to overwrite the compcert.ini file.
Bug 17431.
Diffstat (limited to 'lib/Readconfig.mll')
0 files changed, 0 insertions, 0 deletions