diff options
Diffstat (limited to 'Build/source/texk')
| -rw-r--r-- | Build/source/texk/dvipsk/ChangeLog | 4 | ||||
| -rw-r--r-- | Build/source/texk/dvipsk/dvips.c | 14 |
2 files changed, 18 insertions, 0 deletions
diff --git a/Build/source/texk/dvipsk/ChangeLog b/Build/source/texk/dvipsk/ChangeLog index ca34c94b1f6..c2877de0933 100644 --- a/Build/source/texk/dvipsk/ChangeLog +++ b/Build/source/texk/dvipsk/ChangeLog @@ -1,3 +1,7 @@ +2013-03-18 Akira Kakuto <kakuto@fuk.kindai.ac.jp> + + * dvips.c: Check if oname != iname. + 2013-02-08 Peter Breitenlohner <peb@mppmu.mpg.de> * Makefile.am (prologdir): Change texmf => texmf-dist. diff --git a/Build/source/texk/dvipsk/dvips.c b/Build/source/texk/dvipsk/dvips.c index 46f736e64b7..48a9a666ddb 100644 --- a/Build/source/texk/dvipsk/dvips.c +++ b/Build/source/texk/dvipsk/dvips.c @@ -1265,6 +1265,20 @@ default: #endif } /* dd(D_PATHS) */ #endif /* DEBUG */ + +/* + * Check if oname != iname + */ + if (iname && *iname && oname && *oname) { +#ifdef DOSISH + if (strcasecmp (iname, oname) == 0) { +#else + if (strcmp (iname, oname) == 0) { +#endif + fprintf (stderr, "! Output name should be different from input name.\n"); + exit (20); + } + } /* * Now we try to open the dvi file. */ |