From 135b55c872af73b515131a66d801aee9774a2538 Mon Sep 17 00:00:00 2001 From: johnvg Date: Fri, 19 Dec 2008 13:24:20 +0000 Subject: add -seft, AddStrictnessToExportedFunctionTypes git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1716 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d --- backendC/CleanCompilerSources/cocl.c | 3 +++ 1 file changed, 3 insertions(+) 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]); -- cgit v1.2.3