aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJoris2017-06-05 18:24:52 +0200
committerJoris2017-06-05 18:24:52 +0200
commita345ce1404c9b23acc734d4db82ef391efe05c98 (patch)
tree44fa7adae56076dfbff8d67dc0edcc40bfb6b25a
parent0b191f5c48edffc9da3e38c284e9640fd82e7cb1 (diff)
Fix dist command
-rw-r--r--Makefile4
-rw-r--r--README.md6
2 files changed, 6 insertions, 4 deletions
diff --git a/Makefile b/Makefile
index 34d0709..a0458f1 100644
--- a/Makefile
+++ b/Makefile
@@ -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
diff --git a/README.md b/README.md
index be06d1f..e746560 100644
--- a/README.md
+++ b/README.md
@@ -37,11 +37,11 @@ Later, stop the environment with:
./make stop
```
-Simple build
-------------
+Dist
+----
```
-./build
+make dist
```
Configuration