diff options
author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2013-03-18 12:01:17 +0000 |
---|---|---|
committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2013-03-18 12:01:17 +0000 |
commit | 258e1266d5f66b18534fdfaa151a59993be2c72c (patch) | |
tree | bec3ed6b806b52aee98a8c90e49d0d0633b1fa91 /Build/source/texk/dvipsk/dvips.c | |
parent | 0d0d510ecad763cbd5b4af51f237ef46bdbb527b (diff) |
Check if oname != iname.
git-svn-id: svn://tug.org/texlive/trunk@29416 c570f23f-e606-0410-a88d-b1316a301751
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. */ |