mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-02 09:20:22 +00:00
Code Activity

Merge pull request #1869 from nabice/master

Browse source 
Ignore current dir when searching for jni
This commit is contained in:
Nikolaj Bjorner 2018-10-12 22:45:32 -07:00 • committed by GitHub
commit 5f4da31b19
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_util.py
View file

@ -396,7 +396,7 @@ def check_java():
libdirs = m.group(1).split(',') libdirs = m.group(1).split(',')
for libdir in libdirs: for libdir in libdirs:
q = os.path.dirname(libdir) q = os.path.dirname(libdir)
if cdirs.count(q) == 0: if cdirs.count(q) == 0 and len(q) > 0:
cdirs.append(q) cdirs.append(q)
t.close() t.close()