diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-10 14:33:47 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-10 14:33:47 +0100 |
commit | a7f49e1e55cdf648e7778c1fc12fbc3ac9782c1a (patch) | |
tree | 5e07dae89efdc5884160124ce1113c6d0152e6bb /Makefile | |
parent | f2b1c25aa56a27836652aef3feeee0856c04235c (diff) | |
download | compcert-a7f49e1e55cdf648e7778c1fc12fbc3ac9782c1a.tar.gz compcert-a7f49e1e55cdf648e7778c1fc12fbc3ac9782c1a.zip |
Added new Mingw Printer. Currently the only difference to the Cygwin printer is that every symbol must start with an "_".
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions