summaryrefslogtreecommitdiff
path: root/Build/source/texk/dvipsk/dvips.c
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/dvipsk/dvips.c')
-rw-r--r--Build/source/texk/dvipsk/dvips.c14
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.
*/