Skip to content

Commit

Permalink
Fixed bug in compiler download of run script
Browse files Browse the repository at this point in the history
  • Loading branch information
a-sr committed Jul 13, 2023
1 parent de61ee0 commit 3393dc0
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions run.py
Original file line number Diff line number Diff line change
Expand Up @@ -278,10 +278,10 @@ def check_compiler(jar):
r = requests.get(SCC_URL)
with open(SCC_JAR, "wb") as f:
f.write(r.content)
if not isfile(SCC_JAR):
if not isfile(LFC_JAR):
print("== Downloading LF Compiler ==")
r = requests.get(LFC_URL)
with open(SCC_JAR, "wb") as f:
with open(LFC_JAR, "wb") as f:
f.write(r.content)
else:
print(
Expand Down

0 comments on commit 3393dc0

Please sign in to comment.