diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-04-19 17:14:50 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-05-24 15:50:20 +0200 |
| commit | fbaeaaec35da748db98a3cf9e405024024561426 (patch) | |
| tree | 12b4492aa53170088b54bdfe0597b6783ad486ab /Makefile.extr | |
| parent | 672393ef623acb3e230a8019d51c87e051a7567a (diff) | |
| download | compcert-kvx-fbaeaaec35da748db98a3cf9e405024024561426.tar.gz compcert-kvx-fbaeaaec35da748db98a3cf9e405024024561426.zip | |
Moved some system functions into own module.
The process handling is now in its own file, like the output name
generation etc.
Bug 18768
Diffstat (limited to 'Makefile.extr')
0 files changed, 0 insertions, 0 deletions