diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-05-31 20:00:24 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-05-31 20:00:24 +0200 |
| commit | 6ae45c3aa11d0c70b83b6b7e91a784b23a67146d (patch) | |
| tree | 0719bdb02e8820c5c8b0e2c74a42f98af0f25d85 /Changelog | |
| parent | ef16a51223a4b73eed74c40ce9938248ab6b4b8a (diff) | |
| download | compcert-kvx-6ae45c3aa11d0c70b83b6b7e91a784b23a67146d.tar.gz compcert-kvx-6ae45c3aa11d0c70b83b6b7e91a784b23a67146d.zip | |
Allow the option -o to be also the prefix of the file name for compability with different build systems.
Diffstat (limited to 'Changelog')
0 files changed, 0 insertions, 0 deletions