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