hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-01 03:35:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

improve windows compatibility

Browse Source
This commit is contained in:
Sauyon Lee
2021-07-22 08:00:14 -07:00
parent 5d716b95b1
commit 150f3fd352
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
java/ql/src/utils/makeStubs.py
View File

@@ -30,8 +30,8 @@ if "--help" in sys.argv or "-h" in sys.argv:
if len(sys.argv) not in [3, 4]:
print_usage()
testDir = sys.argv[1].rstrip("/")
stubDir = sys.argv[2].rstrip("/")
testDir = os.path.normpath(sys.argv[1])
stubDir = os.path.normpath(sys.argv[2])
def check_dir_exists(path):
if not os.path.isdir(path):
@@ -155,7 +155,7 @@ for (typ,) in results['multipleGeneratedStubs']['tuples']:
f"WARNING: Multiple stubs generated for {typ}. This is probably a bug. One will be chosen arbitrarily.")
for (typ, stub) in results['#select']['tuples']:
stubFile = os.path.join(stubDir, typ.replace(".", "/") + ".java")
stubFile = os.path.join(stubDir, *typ.split(".")) + ".java"
os.makedirs(os.path.dirname(stubFile), exist_ok=True)
with open(stubFile, "w") as f:
f.write(stub)