2007-06-02 Thomas Schwinge <tschwinge@gnu.org>

	* global.c (LintLib): Remove definition.
	* global.h (LintLib): Remove declaration.
	* header.c (WriteUserRoutine, WriteServerRoutine): Don't emit `Lint'
	code.
	* user.c (WriteIncludes): Likewise.
	* utils.c (WriteRCSDecl): Likewise.

6 files changed, 9 insertions, 34 deletions

diff --git a/ChangeLog b/ChangeLog
index a5f7367..a4b2aed 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,12 @@
+2007-06-02  Thomas Schwinge  <tschwinge@gnu.org>
+
+	* global.c (LintLib): Remove definition.
+	* global.h (LintLib): Remove declaration.
+	* header.c (WriteUserRoutine, WriteServerRoutine): Don't emit `Lint'
+	code.
+	* user.c (WriteIncludes): Likewise.
+	* utils.c (WriteRCSDecl): Likewise.
+
 2007-04-03  Thomas Schwinge  <tschwinge@gnu.org>
 
 	* mig.in (--help): Document the ``-i'' option better.
diff --git a/global.c b/global.c
index 0a27a9e..0a938f2 100644
--- a/global.c
+++ b/global.c
@@ -51,8 +51,6 @@ const_string_t RoutinePrefix = "";
 
 string_t yyinname;
 
-const char LintLib[] = "defined(LINTLIBRARY)";
-
 void
 init_global(void)
 {
diff --git a/global.h b/global.h
index 300e5c6..ca4d865 100644
--- a/global.h
+++ b/global.h
@@ -68,8 +68,6 @@ extern string_t ServerFileName;
 
 extern void more_global(void);
 
-extern const char LintLib[];
-
 #ifndef NULL
 #define NULL 0
 #endif
diff --git a/header.c b/header.c
index 7785767..e8a56fe 100644
--- a/header.c
+++ b/header.c
@@ -85,22 +85,9 @@ WriteUserRoutine(FILE *file, const routine_t *rt)
     fprintf(file, "/* %s %s */\n", rtRoutineKindToStr(rt->rtKind), rt->rtName);
     WriteMigExternal(file);
     fprintf(file, "%s %s\n", ReturnTypeStr(rt), rt->rtUserName);
-    fprintf(file, "#if\t%s\n", LintLib);
-    fprintf(file, "    (");
-    WriteList(file, rt->rtArgs, WriteNameDecl, akbUserArg, ", " , "");
-    fprintf(file, ")\n");
-    WriteList(file, rt->rtArgs, WriteUserVarDecl, akbUserArg, ";\n", ";\n");
-    fprintf(file, "{ ");
-    if (!rt->rtProcedure)
-	fprintf(file, "return ");
-    fprintf(file, "%s(", rt->rtUserName);
-    WriteList(file, rt->rtArgs, WriteNameDecl, akbUserArg, ", ", "");
-    fprintf(file, "); }\n");
-    fprintf(file, "#else\n");
     fprintf(file, "(\n");
     WriteList(file, rt->rtArgs, WriteUserVarDecl, akbUserArg, ",\n", "\n");
     fprintf(file, ");\n");
-    fprintf(file, "#endif\n");
 }
 
 void
@@ -153,24 +140,10 @@ WriteServerRoutine(FILE *file, const routine_t *rt)
     fprintf(file, "/* %s %s */\n", rtRoutineKindToStr(rt->rtKind), rt->rtName);
     WriteMigExternal(file);
     fprintf(file, "%s %s\n", ReturnTypeStr(rt), rt->rtServerName);
-    fprintf(file, "#if\t%s\n", LintLib);
-    fprintf(file, "    (");
-    WriteList(file, rt->rtArgs, WriteNameDecl, akbServerArg, ", " , "");
-    fprintf(file, ")\n");
-    WriteList(file, rt->rtArgs, WriteServerVarDecl,
-	      akbServerArg, ";\n", ";\n");
-    fprintf(file, "{ ");
-    if (!rt->rtProcedure)
-	fprintf(file, "return ");
-    fprintf(file, "%s(", rt->rtServerName);
-    WriteList(file, rt->rtArgs, WriteNameDecl, akbServerArg, ", ", "");
-    fprintf(file, "); }\n");
-    fprintf(file, "#else\n");
     fprintf(file, "(\n");
     WriteList(file, rt->rtArgs, WriteServerVarDecl,
 	      akbServerArg, ",\n", "\n");
     fprintf(file, ");\n");
-    fprintf(file, "#endif\n");
 }
 
 void
diff --git a/user.c b/user.c
index 8f5be36..5e2cd06 100644
--- a/user.c
+++ b/user.c
@@ -90,7 +90,6 @@ WriteIncludes(FILE *file)
     fprintf(file, "#include <mach/mig_errors.h>\n");
     fprintf(file, "#include <mach/mig_support.h>\n");
     fprintf(file, "#include <mach/msg_type.h>\n");
-    fprintf(file, "/* LINTLIBRARY */\n");
     fprintf(file, "\n");
 }
 
diff --git a/utils.c b/utils.c
index 0f63637..cb40d8f 100644
--- a/utils.c
+++ b/utils.c
@@ -39,13 +39,11 @@ WriteImport(FILE *file, const_string_t filename)
 void
 WriteRCSDecl(FILE *file, identifier_t name, const_string_t rcs)
 {
-    fprintf(file, "#ifndef\tlint\n");
     fprintf(file, "#if\tUseExternRCSId\n");
     fprintf(file, "char %s_rcsid[] = %s;\n", name, rcs);
     fprintf(file, "#else\t/* UseExternRCSId */\n");
     fprintf(file, "static char rcsid[] = %s;\n", rcs);
     fprintf(file, "#endif\t/* UseExternRCSId */\n");
-    fprintf(file, "#endif\t/* lint */\n");
     fprintf(file, "\n");
 }