diff options
author | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2015-12-19 16:43:40 +0100 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2015-12-19 16:43:40 +0100 |
commit | cf6be884d6ac2713553ec18339314211716d8af4 (patch) | |
tree | 0201fcc8e0df369f23a2397a1de38f69c8cd3ad7 /LICENSE | |
parent | 0c9eaaf7d6cb229437bac8d3b11c88e2b05268a8 (diff) | |
parent | 36fa22560e2a289c9f75f0fe058b72eaad6d53b4 (diff) | |
download | compcert-kvx-cf6be884d6ac2713553ec18339314211716d8af4.tar.gz compcert-kvx-cf6be884d6ac2713553ec18339314211716d8af4.zip |
Merge pull request #79 from AbsInt/config-option
Add "-conf <filename>" command-line option. Support relative paths for stdlib and tools.
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions