Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

update Makefile

Browse source
This commit is contained in:
fanghr 2022-06-29 19:16:02 +08:00
parent ce7d5d2214
commit fe6dc677bc
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Makefile
View file

@ -20,7 +20,7 @@ usage:
@echo " ps_bridge -- Generate purescript bridge files" @echo " ps_bridge -- Generate purescript bridge files"
@echo " bench -- Generate bench report bench.csv" @echo " bench -- Generate bench report bench.csv"
@echo " bench_check -- Check if bench report is up-to-date" @echo " bench_check -- Check if bench report is up-to-date"
@echo " scripts -- Export scripts to json files" @echo " scripts -- Run the agora script server (dev mode)"
hoogle: hoogle:
pkill hoogle || true pkill hoogle || true
@ -71,4 +71,4 @@ bench_check:
rm -rf $(BENCH_TMPDIR) rm -rf $(BENCH_TMPDIR)
scripts: scripts:
cabal run agora-scripts cabal run agora-scripts -- -c