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 /global.c | |
| parent | b5e594cb55735480b762f8794cac4ebe630d6bec (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 'global.c')
| -rw-r--r-- | global.c | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -51,8 +51,6 @@ const_string_t RoutinePrefix = ""; string_t yyinname; -const char LintLib[] = "defined(LINTLIBRARY)"; - void init_global(void) { |