Sulkta-Coop/agora
2
0
Fork 0
Code Issues 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 6d27bf0270
commit cd4179d854
No known key found for this signature in database
GPG key ID: 0B261157257380F2
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 " bench -- Generate bench report bench.csv"
@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:
pkill hoogle || true
@ -71,4 +71,4 @@ bench_check:
rm -rf $(BENCH_TMPDIR)
scripts:
cabal run agora-scripts
cabal run agora-scripts -- -c