diff options
| author | johnvg | 2008-12-19 13:24:20 +0000 |
|---|---|---|
| committer | johnvg | 2008-12-19 13:24:20 +0000 |
| commit | 135b55c872af73b515131a66d801aee9774a2538 (patch) | |
| tree | a4b3db713b51286b620dc07917a928084ad618f3 | |
| parent | add BEGetError (diff) | |
add -seft, AddStrictnessToExportedFunctionTypes
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1716 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | backendC/CleanCompilerSources/cocl.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/backendC/CleanCompilerSources/cocl.c b/backendC/CleanCompilerSources/cocl.c index 08bda7c..46747c9 100644 --- a/backendC/CleanCompilerSources/cocl.c +++ b/backendC/CleanCompilerSources/cocl.c @@ -154,6 +154,7 @@ Bool CallCompiler (int argc, char **argv) DoFusion=False; DoDescriptors=False; ExportLocalLabels=False; + AddStrictnessToExportedFunctionTypes=False; StrictDoAnnots = False; StrictDepth = 10;/* 8; */ @@ -224,6 +225,8 @@ Bool CallCompiler (int argc, char **argv) ExportLocalLabels=True; else if (strcmp (argv_i,"-fusion") == 0) DoFusion=True; + else if (strcmp (argv_i,"-seft") == 0) + AddStrictnessToExportedFunctionTypes=True; else if (strncmp (argv_i, "-sa", 3) == 0){ if (!SetStrictOption (argv[i]+3)){ CmdError ("unknown flag %s", argv[i]); |