summaryrefslogtreecommitdiff
path: root/user.c
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2007-06-02 10:55:27 +0000
committerThomas Schwinge <tschwinge@gnu.org>2007-06-02 10:55:27 +0000
commit577f843f6d6fdad2332c7a5d4c8c3dbcc52fe5d0 (patch)
tree5c1c8b451f09ec0e9adc5e321935257e8e431780 /user.c
parentb5e594cb55735480b762f8794cac4ebe630d6bec (diff)
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.
Diffstat (limited to 'user.c')
-rw-r--r--user.c1
1 files changed, 0 insertions, 1 deletions
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");
}