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 | |
parent | 0d0d510ecad763cbd5b4af51f237ef46bdbb527b (diff) |
Check if oname != iname.
git-svn-id: svn://tug.org/texlive/trunk@29416 c570f23f-e606-0410-a88d-b1316a301751
-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. */ |