Skip to content

Commit

Permalink
refine code
Browse files Browse the repository at this point in the history
  • Loading branch information
al3xliu committed Jul 29, 2023
1 parent 2587474 commit 21b559d
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion do_like_javac/tools/wpi.py
Original file line number Diff line number Diff line change
Expand Up @@ -50,6 +50,8 @@ def run(args, javac_commands, jars):
# if there is already a WPI directory, delete it and start over
if os.path.isdir(wpiDir):
shutil.rmtree(wpiDir)
else:
os.mkdir(wpiDir)

iteration = 0
diffResult = True
Expand Down Expand Up @@ -179,7 +181,6 @@ def run(args, javac_commands, jars):
pprint.pformat(jc)

cmd = iterationCheckerCmd + ["-classpath", cp] + processorArg + other_args + java_files
print("final cmd ===================================: " + cmd);
stats = common.run_cmd(cmd + ["-Ainfer=ajava", "-Awarns"], args, 'wpi')

# process outputs
Expand Down

0 comments on commit 21b559d

Please sign in to comment.