annotate build-aux/OctJavaQry.java @ 20806:99eb26310cb3

Update the state of the toolbar after ui* children have been removed *Figure.cc (Figure::EventNotifyAfter): update the state of the toolbar after an ui* children is removed e.g. by clf.
author Pantxo Diribarne <pantxo.diribarne@gmail.com>
date Sat, 10 Oct 2015 12:48:10 +0200
parents fafd51a1b0f0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
15763
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
1 // Code used by configure script to locate Java installation variables.
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
2 // Only compiled code, OctJavaQry.class, is distributed.
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
3 public class OctJavaQry
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
4 {
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
5 public static void main (String[] args)
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
6 {
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
7 if (args.length > 0)
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
8 {
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
9 if (args[0].equals ("JAVA_HOME"))
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
10 {
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
11 System.out.println (System.getProperty ("java.home"));
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
12 }
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
13 else if (args[0].equals ("JAVA_LDPATH"))
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
14 {
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
15 System.out.println (System.getProperty ("java.library.path"));
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
16 }
15766
fafd51a1b0f0 build: Add more searching for Java libjvm.so.
Rik <rik@octave.org>
parents: 15763
diff changeset
17 else if (args[0].equals ("JAVA_BOOTPATH"))
fafd51a1b0f0 build: Add more searching for Java libjvm.so.
Rik <rik@octave.org>
parents: 15763
diff changeset
18 {
fafd51a1b0f0 build: Add more searching for Java libjvm.so.
Rik <rik@octave.org>
parents: 15763
diff changeset
19 System.out.println (System.getProperty ("sun.boot.library.path"));
fafd51a1b0f0 build: Add more searching for Java libjvm.so.
Rik <rik@octave.org>
parents: 15763
diff changeset
20 }
15763
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
21 }
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
22 }
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
23 }