diff options
Diffstat (limited to 'backendC/CleanCompilerSources/dumprestore.h')
| -rw-r--r-- | backendC/CleanCompilerSources/dumprestore.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/backendC/CleanCompilerSources/dumprestore.h b/backendC/CleanCompilerSources/dumprestore.h new file mode 100644 index 0000000..1bf6cc3 --- /dev/null +++ b/backendC/CleanCompilerSources/dumprestore.h @@ -0,0 +1,8 @@ +# undef DUMP_AND_RESTORE + +# ifdef DUMP_AND_RESTORE + +extern Bool gDumpAndRestore; +void CoclBackEnd (ImpMod modulem, char *outputFileName); + +# endif /* DUMP_AND_RESTORE */
\ No newline at end of file |