mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
Ignore current dir when searching for jni
This commit is contained in:
parent
2f9853f1b5
commit
13183b7c7c
|
@ -396,7 +396,7 @@ def check_java():
|
|||
libdirs = m.group(1).split(',')
|
||||
for libdir in libdirs:
|
||||
q = os.path.dirname(libdir)
|
||||
if cdirs.count(q) == 0:
|
||||
if cdirs.count(q) == 0 and len(q) > 0:
|
||||
cdirs.append(q)
|
||||
t.close()
|
||||
|
||||
|
|
Loading…
Reference in a new issue