Skip to content

Commit

Permalink
Update ergup.er
Browse files Browse the repository at this point in the history
mtshiba committed Feb 18, 2024
1 parent 3b5a30b commit a56ab9e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion ergup.er
Original file line number Diff line number Diff line change
@@ -76,7 +76,7 @@ if! res.returncode != 0, do!:
panic "Failed to clone poise repo"
os.chdir! "poise"
print! "Building poise ..."
res2 = sub.run! ["erg", "src/main.er", "--", "install"], capture_output:=True
res2 = sub.run! ["\{erg_bin_dir}/erg", "src/main.er", "--", "install"], capture_output:=True
if! res2.returncode != 0, do!:
assert res2.stderr in Bytes
panic "Failed to install poise: \{res2.stderr.decode()}"

0 comments on commit a56ab9e

Please sign in to comment.