diff options
author | Jasper Van der Jeugt | 2021-01-13 17:06:29 +0100 |
---|---|---|
committer | Jasper Van der Jeugt | 2021-01-13 17:06:29 +0100 |
commit | 1308786118da6c866f4d85f4d5ef67e0b2860bd4 (patch) | |
tree | bd2c7471663c22ed121669db0c0297c2236a9417 /Makefile | |
parent | f619f549aaddc2b2f508f7dab6d69a6f14eb458f (diff) |
Various fixes
Diffstat (limited to '')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -17,10 +17,10 @@ docker: .PHONY: server server: build - (cd server && \ + (cd server && stack exec env \ UPLCG_HOSTNAME=$(UPLCG_HOSTNAME) \ UPLCG_PORT=$(UPLCG_PORT) \ - stack exec uplcg-server) + uplcg-server) .PHONY: stack_build stack_build: $(HS_SOURCES) |