diff options
Diffstat (limited to 'etc/profile.jogl')
-rwxr-xr-x | etc/profile.jogl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/etc/profile.jogl b/etc/profile.jogl index 7dd51919d..413c0538d 100755 --- a/etc/profile.jogl +++ b/etc/profile.jogl @@ -24,6 +24,10 @@ function concat_jogl_list() } ARCH=`uname -m` +if [ "$ARCH" = "i86pc" ] ; then + ARCH="x86" +fi + KERNEL=`uname -s | awk ' { printf "%s",tolower($0) ; } '` if [ "$KERNEL" = "sunos" ] ; then KERNEL="solaris" |