view build-aux/OctJavaQry.java @ 18495:1ec884e5ff00 gui-release

waitbar.m: Force pixel units for waitbar figure (bug #41645). * waitbar.m: Use "pixel" units when creating waitbar figure so that the subsequent "position" property is always interpreted properly.
author Pantxo Diribarne <pantxo.diribarne@gmail.com>
date Thu, 20 Feb 2014 16:18:02 +0100
parents fafd51a1b0f0
children
line wrap: on
line source

// Code used by configure script to locate Java installation variables.
// Only compiled code, OctJavaQry.class, is distributed.
public class OctJavaQry
{
  public static void main (String[] args)
  {
    if (args.length > 0)
    {
      if (args[0].equals ("JAVA_HOME"))
      {
        System.out.println (System.getProperty ("java.home"));
      }
      else if (args[0].equals ("JAVA_LDPATH"))
      {
        System.out.println (System.getProperty ("java.library.path"));
      }
      else if (args[0].equals ("JAVA_BOOTPATH"))
      {
        System.out.println (System.getProperty ("sun.boot.library.path"));
      }
    }
  }
}