diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-08-23 20:25:46 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-08-23 20:25:46 +0200 |
commit | 25508b2953ff8d0941c257ee1cb887278cfebd79 (patch) | |
tree | 15230cfa6234e357c5072c4c9d0a6367a5a72efa /powerpc/NeedOp.v | |
parent | 20b311376d93fd68d51a66ac4c158c000333ae18 (diff) | |
download | compcert-25508b2953ff8d0941c257ee1cb887278cfebd79.tar.gz compcert-25508b2953ff8d0941c257ee1cb887278cfebd79.zip |
Added error message when no input file is specified.
Diffstat (limited to 'powerpc/NeedOp.v')
0 files changed, 0 insertions, 0 deletions