diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-08-24 08:20:19 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-08-24 08:20:19 +0200 |
| commit | 448477ec6be14c0217f7ff74d90fb53d78fdf5c9 (patch) | |
| tree | ea0a43781e377d5a48e94d6e33d2b88a5b0bd106 /debug/DwarfPrinter.ml | |
| parent | 25508b2953ff8d0941c257ee1cb887278cfebd79 (diff) | |
| download | compcert-kvx-448477ec6be14c0217f7ff74d90fb53d78fdf5c9.tar.gz compcert-kvx-448477ec6be14c0217f7ff74d90fb53d78fdf5c9.zip | |
Count number of input files and do not use number of source files for warning about no input.
Diffstat (limited to 'debug/DwarfPrinter.ml')
0 files changed, 0 insertions, 0 deletions