From cd4179d854a76c4738e66a426369d097508cc765 Mon Sep 17 00:00:00 2001 From: fanghr Date: Wed, 29 Jun 2022 19:16:02 +0800 Subject: [PATCH] update Makefile --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index deab8da..e04e195 100644 --- a/Makefile +++ b/Makefile @@ -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 \ No newline at end of file + cabal run agora-scripts -- -c