Searched refs:old_JAVA_HOME (Results 1 – 2 of 2) sorted by relevance
85 char *old_JAVA_HOME; in execute_java_class() local192 old_JAVA_HOME = getenv ("JAVA_HOME"); in execute_java_class()193 if (old_JAVA_HOME != NULL) in execute_java_class()195 old_JAVA_HOME = xstrdup (old_JAVA_HOME); in execute_java_class()422 if (old_JAVA_HOME != NULL) in execute_java_class()424 xsetenv ("JAVA_HOME", old_JAVA_HOME, 1); in execute_java_class()425 free (old_JAVA_HOME); in execute_java_class()
1579 char *old_JAVA_HOME; in compile_java_class() local1665 old_JAVA_HOME = getenv ("JAVA_HOME"); in compile_java_class()1666 if (old_JAVA_HOME != NULL) in compile_java_class()1668 old_JAVA_HOME = xstrdup (old_JAVA_HOME); in compile_java_class()1799 if (old_JAVA_HOME != NULL) in compile_java_class()1801 xsetenv ("JAVA_HOME", old_JAVA_HOME, 1); in compile_java_class()1802 free (old_JAVA_HOME); in compile_java_class()