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 /cparser/Bitfields.ml | |
parent | 25508b2953ff8d0941c257ee1cb887278cfebd79 (diff) | |
download | compcert-448477ec6be14c0217f7ff74d90fb53d78fdf5c9.tar.gz compcert-448477ec6be14c0217f7ff74d90fb53d78fdf5c9.zip |
Count number of input files and do not use number of source files for warning about no input.
Diffstat (limited to 'cparser/Bitfields.ml')
0 files changed, 0 insertions, 0 deletions