diff options
| author | Michael Schmidt <github@mschmidt.me> | 2016-04-25 17:42:27 +0200 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2016-04-25 17:42:27 +0200 |
| commit | cf3f9615d79e0cbe4eb146c08e2c0802e1e3f033 (patch) | |
| tree | 438e6fb04fba0ee67ae7fbdfc578124278ac4469 | |
| parent | d2c668e9f2c3d098fc4267764b4e968b6d88a7b9 (diff) | |
| download | compcert-kvx-cf3f9615d79e0cbe4eb146c08e2c0802e1e3f033.tar.gz compcert-kvx-cf3f9615d79e0cbe4eb146c08e2c0802e1e3f033.zip | |
bug 18004, fix file extensions for dparse option
| -rw-r--r-- | driver/Driver.ml | 2 | ||||
| -rw-r--r-- | exportclight/Clightgen.ml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index 400aba84..17d7b997 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -556,7 +556,7 @@ Linking options: library modules to define it. Tracing options: -dprepro Save C file after preprocessing in <file>.i - -dparse Save C file after parsing and elaboration in <file>.parse.c + -dparse Save C file after parsing and elaboration in <file>.parsed.c -dc Save generated Compcert C in <file>.compcert.c -dclight Save generated Clight in <file>.light.c -dcminor Save generated Cminor in <file>.cm diff --git a/exportclight/Clightgen.ml b/exportclight/Clightgen.ml index d917032e..cbc2d8c4 100644 --- a/exportclight/Clightgen.ml +++ b/exportclight/Clightgen.ml @@ -211,7 +211,7 @@ Language support options (use -fno-<opt> to turn off -f<opt>) : -fall Activate all language support options above -fnone Turn off all language support options above Tracing options: - -dparse Save C file after parsing and elaboration in <file>.parse.c + -dparse Save C file after parsing and elaboration in <file>.parsed.c -dc Save generated Compcert C in <file>.compcert.c -dclight Save generated Clight in <file>.light.c General options: |