diff options
Diffstat (limited to 'Build/source/texk/dvipsk/dvips.c')
-rw-r--r-- | Build/source/texk/dvipsk/dvips.c | 14 |
1 files changed, 14 insertions, 0 deletions
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. */ |