diff options
author | Karl Berry <karl@freefriends.org> | 2009-09-28 00:51:52 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2009-09-28 00:51:52 +0000 |
commit | 603c596da46e7c94f01be4ea919895d3b9fb1fc0 (patch) | |
tree | 12fc640c7141a2a272dfd122663f886043fe6399 /Master/bin/i386-solaris | |
parent | bed736a107b4f8554aeef73992a766f8b0495f0a (diff) |
hack from Ettore Aldrovandi to discover if we
should execute xdvi-xaw_solaris10_x86 (Solaris 10)
instead of xdvi-xaw (OpenSolaris), for
i386-solaris specifically.
git-svn-id: svn://tug.org/texlive/trunk@15498 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/i386-solaris')
-rwxr-xr-x | Master/bin/i386-solaris/xdvi | 17 |
1 files changed, 15 insertions, 2 deletions
diff --git a/Master/bin/i386-solaris/xdvi b/Master/bin/i386-solaris/xdvi index 29632097df1..2fea0292fde 100755 --- a/Master/bin/i386-solaris/xdvi +++ b/Master/bin/i386-solaris/xdvi @@ -2,7 +2,7 @@ # This is the xdvi wrapper script for teTeX, version 0.2. # Copyright Thomas Esser, 1998. Permission to distribute under the terms -# of the GNU general public license version 2 or later. +# of the GNU General Public License version 2 or later. # This script sets some environment variables to make sure that xdvi's # resource file in $XDVIINPUTS/xdvi is read by xdvi.bin. @@ -50,4 +50,17 @@ if test -n "$xdviappfile"; then XFILESEARCHPATH="$xdviapppath:${XFILESEARCHPATH-%D}"; export XFILESEARCHPATH fi -exec xdvi-xaw $NAMEOPT ${1+"$@"} +# 2009 modification by Ettore Aldrovandi for TeX Live specifically; +# since the regular xdvi-xaw binary is built on OpenSolaris, and there's +# a separate binary for Solaris 10, use the right one. This needs to be +# patched back in the source tree, or otherwise fixed, but for now, just +# do it here, where it's needed. +if test x"`(uname -s) 2>&1`" = xSunOS \ + && test x"`(uname -r) 2>&1`" = x5.10 \ + && test x"`(uname -m) 2>&1`" = xi86pc ; then + xdviprogram=xdvi-xaw_solaris10_x86 +else + xdviprogram=xdvi-xaw +fi + +exec $xdviprogram $NAMEOPT ${1+"$@"} |