diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-22 13:34:56 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-22 13:34:56 +0200 |
| commit | 0200f6b77550e95c0ec309d1a44f5253fc790e4f (patch) | |
| tree | 7c27cf00a408165fc9c54fba1879f3f76ae2d12c /driver/Compiler.v | |
| parent | 2084c5b91929b9290b7e02979ee038bb98d1053e (diff) | |
| download | compcert-0200f6b77550e95c0ec309d1a44f5253fc790e4f.tar.gz compcert-0200f6b77550e95c0ec309d1a44f5253fc790e4f.zip | |
Print whole command line.
When response files are used CompCert should still print all
command line arguments since the response file is deleted after
usage.
Bug 19297.
Diffstat (limited to 'driver/Compiler.v')
0 files changed, 0 insertions, 0 deletions