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 /Makefile | |
| parent | 0b191f5c48edffc9da3e38c284e9640fd82e7cb1 (diff) | |
Fix dist command
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 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 |