diff options
Diffstat (limited to 'backendC/CleanCompilerSources/settings.c')
| -rw-r--r-- | backendC/CleanCompilerSources/settings.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/backendC/CleanCompilerSources/settings.c b/backendC/CleanCompilerSources/settings.c index 105ffd0..7fb3273 100644 --- a/backendC/CleanCompilerSources/settings.c +++ b/backendC/CleanCompilerSources/settings.c @@ -23,6 +23,7 @@ Bool ListOptimizations = False; Bool DoDescriptors = False; Bool ExportLocalLabels = False; +Bool AddStrictnessToExportedFunctionTypes = False; Bool DoProfiling=False; /* no longer used by memory profiler */ Bool DoTimeProfiling=False; |