diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-01-04 18:35:40 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-01-04 18:35:40 +0100 |
commit | 8219490aae44fa79932d913cc69941d6b22a70a3 (patch) | |
tree | b60527a283191e2293a4af3497e48303402ee626 /test/spass/closure.c | |
parent | b1455cc40ebf6bb00722ff128e702f83c9b4dca8 (diff) | |
download | compcert-8219490aae44fa79932d913cc69941d6b22a70a3.tar.gz compcert-8219490aae44fa79932d913cc69941d6b22a70a3.zip |
Handle dcompcertc and dparsedc like all dump opts.
This time with the correct place for setting the destination files.
Bug 20521
Diffstat (limited to 'test/spass/closure.c')
0 files changed, 0 insertions, 0 deletions