summaryrefslogtreecommitdiff
path: root/Build/source/texk/lacheck/lacheck-1.26-PATCHES/patch-02-ANSI
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/lacheck/lacheck-1.26-PATCHES/patch-02-ANSI')
-rw-r--r--Build/source/texk/lacheck/lacheck-1.26-PATCHES/patch-02-ANSI176
1 files changed, 0 insertions, 176 deletions
diff --git a/Build/source/texk/lacheck/lacheck-1.26-PATCHES/patch-02-ANSI b/Build/source/texk/lacheck/lacheck-1.26-PATCHES/patch-02-ANSI
deleted file mode 100644
index bb6654b4ef7..00000000000
--- a/Build/source/texk/lacheck/lacheck-1.26-PATCHES/patch-02-ANSI
+++ /dev/null
@@ -1,176 +0,0 @@
-diff -ur lacheck-1.26.orig/lacheck.l lacheck-1.26/lacheck.l
---- lacheck-1.26.orig/lacheck.l 2010-02-20 12:35:04.000000000 +0100
-+++ lacheck-1.26/lacheck.l 2010-12-09 23:22:45.000000000 +0100
-@@ -125,8 +125,6 @@
-
- /* extern char *realloc(); */
-
--int yywrap() { return 1; }
--
- #ifdef NEED_STRSTR
- char *strstr();
- #endif
-@@ -144,16 +142,16 @@
- #define CG_ITALIC gstack[gstackp-1].italic
- #define CG_FILE gstack[gstackp-1].s_file
-
--char *bg_command();
--void pop();
--void push();
--void linecount();
--void g_checkend();
--void e_checkend();
--void f_checkend();
--void input_file();
--void print_bad_match();
--int check_top_level_end();
-+char *bg_command(char *name);
-+void pop(void);
-+void push(const char *p_name, int p_type, int p_line);
-+void linecount(void);
-+void g_checkend(int n);
-+void e_checkend(int n, char *name);
-+void f_checkend(char *name);
-+void input_file(char *file_nam);
-+void print_bad_match(char *end_command, int type);
-+int check_top_level_end(char *end_command, int type);
-
- /* global variables */
-
-@@ -764,9 +762,7 @@
-
- . { ; }
- %%
--int main( argc, argv )
--int argc;
--char *argv[];
-+int main(int argc, char *argv[])
- {
- /* allocate initial stacks */
- gstack = (tex_group *)malloc(gstack_size * sizeof(tex_group));
-@@ -824,6 +820,8 @@
- return(0);
- }
-
-+int yywrap(void) { return 1; }
-+
- #ifdef NEED_STRSTR
- char *
- strstr(string, substring)
-@@ -860,10 +858,7 @@
- }
- #endif /* NEED_STRSTR */
-
--void push(p_name, p_type, p_line)
--unsigned char *p_name;
--int p_type;
--int p_line;
-+void push(const unsigned char *p_name, int p_type, int p_line)
- {
- if ( gstackp == gstack_size ) { /* extend stack */
- gstack_size *= 2;
-@@ -895,8 +890,7 @@
-
- }
-
--void input_file(file_nam)
--char *file_nam;
-+void input_file(char *file_nam)
- {
- char *tmp_file_name;
- FILE *tmp_yyin;
-@@ -953,7 +947,7 @@
- }
- }
-
--void pop()
-+void pop(void)
- {
- if ( gstackp == 0 )
- {
-@@ -966,8 +960,7 @@
- free(gstack[gstackp].s_file);
- }
-
--char *bg_command(name)
--char *name;
-+char *bg_command(char *name)
- {
-
- switch (CG_TYPE) {
-@@ -1001,9 +994,7 @@
- return ((char *)returnval);
- }
-
--char *eg_command(name,type)
--int type;
--char *name;
-+static char *eg_command(char *name, int type)
- {
-
- switch (type) {
-@@ -1038,19 +1029,18 @@
- }
-
-
--void g_checkend(n)
--int n;
-+void g_checkend(int n)
- {
- if ( check_top_level_end(yytext,n) == 1 )
-+ {
- if ( CG_TYPE != n )
- print_bad_match(yytext,n);
- else
- pop();
-+ }
- }
-
--void e_checkend(n, name)
--int n;
--char *name;
-+void e_checkend(int n, char *name)
- {
- if ( check_top_level_end(name,n) == 1 )
- {
-@@ -1062,8 +1052,7 @@
- }
- }
-
--void f_checkend(name)
--char *name;
-+void f_checkend(char *name)
- {
- if ( check_top_level_end(name,3) == 1 )
- {
-@@ -1079,9 +1068,7 @@
- }
- }
-
--void print_bad_match(end_command,type)
--char *end_command;
--int type;
-+void print_bad_match(char *end_command, int type)
- {
- printf("\"%s\", line %d: <- unmatched \"%s\"\n",
- file_name,
-@@ -1095,9 +1082,7 @@
- warn_count += 2;
- }
-
--int check_top_level_end(end_command,type)
--char *end_command;
--int type;
-+int check_top_level_end(char *end_command, int type)
- {
- if ( gstackp == 0 )
- {
-@@ -1112,7 +1097,7 @@
- return(1);
- }
-
--void linecount()
-+void linecount(void)
- {
- int i;
- for (i = 0; i < yyleng; i++)