archive/jdk
1
0
Fork 0
mirror of https://github.com/openjdk/jdk.git synced 2025-08-27 23:04:50 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

8214332: Add a flag for overriding default JNI library search path

Browse source 
Reviewed-by: erikj, dholmes
This commit is contained in:
Jakub Vanek 2018-11-28 22:29:35 -05:00 • committed by David Holmes
parent 9aff87efc9
commit b2bf2d252b
8 changed files with 58 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/hotspot/os/bsd/os_bsd.cpp
View file

@ -316,7 +316,11 @@ void os::init_system_properties_values() {
// ...
// 7: The default directories, normally /lib and /usr/lib.
#ifndef DEFAULT_LIBPATH
#define DEFAULT_LIBPATH "/lib:/usr/lib"
#ifndef OVERRIDE_LIBPATH
#define DEFAULT_LIBPATH "/lib:/usr/lib"
#else
#define DEFAULT_LIBPATH OVERRIDE_LIBPATH
#endif
#endif
// Base path of extensions installed on the system.