diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-25 10:38:30 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-25 10:38:30 +0100 |
| commit | 6d53a8b7ffd06d9726103803eb69d94a333ae0a5 (patch) | |
| tree | c2a77448b451134c66cbde4667e4fc1db13229d5 /exportclight | |
| parent | bd0591f676f585a38c32049f31f1f187d748d6a2 (diff) | |
| download | compcert-6d53a8b7ffd06d9726103803eb69d94a333ae0a5.tar.gz compcert-6d53a8b7ffd06d9726103803eb69d94a333ae0a5.zip | |
Updated the recdepend tool to avoid printing of ./ at the begining and printing duplicated -I flags.
Diffstat (limited to 'exportclight')
0 files changed, 0 insertions, 0 deletions