diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2007-06-02 10:55:27 +0000 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-06-02 10:55:27 +0000 |
commit | 577f843f6d6fdad2332c7a5d4c8c3dbcc52fe5d0 (patch) | |
tree | 5c1c8b451f09ec0e9adc5e321935257e8e431780 /utils.c | |
parent | b5e594cb55735480b762f8794cac4ebe630d6bec (diff) | |
download | mig-577f843f6d6fdad2332c7a5d4c8c3dbcc52fe5d0.tar.gz mig-577f843f6d6fdad2332c7a5d4c8c3dbcc52fe5d0.tar.bz2 mig-577f843f6d6fdad2332c7a5d4c8c3dbcc52fe5d0.zip |
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 'utils.c')
-rw-r--r-- | utils.c | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -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"); } |