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 /test/regression/bitfields5.c | |
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 'test/regression/bitfields5.c')
0 files changed, 0 insertions, 0 deletions