From 7e1ccd4540b1881d5dd77ddd59d3682d37008462 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Sat, 18 Aug 2018 13:31:39 +0100 Subject: [PATCH] tools: fix make ghci-api --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 344b2f45f..8330ca7b1 100644 --- a/Makefile +++ b/Makefile @@ -600,7 +600,7 @@ ghci-ui: $(call def-help,ghci-ui, start ghci REPL on hledger-lib + hledger + hle ghci-web: link-web-dirs $(call def-help,ghci-web, start ghci REPL on hledger-lib + hledger + hledger-web) $(STACK) exec -- $(GHCI) $(BUILDFLAGS) hledger-web/app/main.hs -ghci-api: (call def-help,ghci-api, start ghci REPL on hledger-lib + hledger + hledger-api) +ghci-api: $(call def-help,ghci-api, start ghci REPL on hledger-lib + hledger + hledger-api) $(STACK) exec -- $(GHCI) $(BUILDFLAGS) hledger-api/hledger-api.hs # ghci-all: $(call def-help,ghci-all, start ghci REPL on all the hledger)