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 /x86_32 | |
| parent | 438d541dbe5fe7d7fe6b7aacaa6e6ef070c2e237 (diff) | |
| download | compcert-64fe7f462c4dd204ac5ffaed48edbf9698485d94.tar.gz compcert-64fe7f462c4dd204ac5ffaed48edbf9698485d94.zip | |
Simplify the generation of driver/Version.ml
Don't use sed, just echo the contents of the file.
Diffstat (limited to 'x86_32')
0 files changed, 0 insertions, 0 deletions