diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-04-17 17:26:15 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-04-27 09:57:40 +0200 |
commit | 64fe7f462c4dd204ac5ffaed48edbf9698485d94 (patch) | |
tree | 6e2b3cdb5a7d13ebd00ba242bc5e690982f2f703 /.gitignore | |
parent | 438d541dbe5fe7d7fe6b7aacaa6e6ef070c2e237 (diff) | |
download | compcert-kvx-64fe7f462c4dd204ac5ffaed48edbf9698485d94.tar.gz compcert-kvx-64fe7f462c4dd204ac5ffaed48edbf9698485d94.zip |
Simplify the generation of driver/Version.ml
Don't use sed, just echo the contents of the file.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions