diff options
Diffstat (limited to 'Build/source/texk/dvipsk')
-rw-r--r-- | Build/source/texk/dvipsk/ChangeLog | 4 | ||||
-rw-r--r-- | Build/source/texk/dvipsk/finclude.c | 3 |
2 files changed, 5 insertions, 2 deletions
diff --git a/Build/source/texk/dvipsk/ChangeLog b/Build/source/texk/dvipsk/ChangeLog index 7f981911ac2..bd36138a9a4 100644 --- a/Build/source/texk/dvipsk/ChangeLog +++ b/Build/source/texk/dvipsk/ChangeLog @@ -1,3 +1,7 @@ +2012-12-07 Peter Breitenlohner <peb@mppmu.mpg.de> + + * finclude.c: Drop unused variable (gcc-4.6 warning). + 2012-11-19 Peter Breitenlohner <peb@mppmu.mpg.de> * Makefile.am: Avoid use of deprecated INCLUDES. diff --git a/Build/source/texk/dvipsk/finclude.c b/Build/source/texk/dvipsk/finclude.c index 44943924ea3..bdf62bbc17c 100644 --- a/Build/source/texk/dvipsk/finclude.c +++ b/Build/source/texk/dvipsk/finclude.c @@ -226,7 +226,6 @@ scan_fontnames(char *str, const char *psfile) { char *p,*pe; struct resfont *re; - int i; /* Turn all newlines, CRs, and tabs into spaces. */ p = str; @@ -248,7 +247,7 @@ scan_fontnames(char *str, const char *psfile) pe = strchr(p,' '); if(pe != NULL) *pe = '\0'; - i = add_name(p,&ps_fonts_used); + add_name(p,&ps_fonts_used); if (1) { #ifdef DEBUG |