diff options
author | Joris | 2017-06-05 18:24:52 +0200 |
---|---|---|
committer | Joris | 2017-06-05 18:24:52 +0200 |
commit | a345ce1404c9b23acc734d4db82ef391efe05c98 (patch) | |
tree | 44fa7adae56076dfbff8d67dc0edcc40bfb6b25a | |
parent | 0b191f5c48edffc9da3e38c284e9640fd82e7cb1 (diff) |
Fix dist command
-rw-r--r-- | Makefile | 4 | ||||
-rw-r--r-- | README.md | 6 |
2 files changed, 6 insertions, 4 deletions
@@ -4,7 +4,9 @@ start: stop: @tmux kill-session -t sharedCost -dist: clean install build +dist: + @nix-shell --command "make clean install build" + clean: clean-server clean-client install: install-server install-client build: build-server build-client @@ -37,11 +37,11 @@ Later, stop the environment with: ./make stop ``` -Simple build ------------- +Dist +---- ``` -./build +make dist ``` Configuration |