diff options
| author | tv <tv@shackspace.de> | 2015-02-24 21:54:52 +0100 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2015-02-24 22:06:00 +0100 |
| commit | adbb6de170e6a3215b461798e5cfdd823bd01e45 (patch) | |
| tree | 1419fd45bd7f704b2131e6e65d8809364ca2697e /Makefile | |
| parent | 75e3d1e803826cd433b41fb3ecde8eb892f42bf7 (diff) | |
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -5,10 +5,10 @@ all: cgserver.nix build: - load-env-cgserver-1 cabal build + load-env-cgserver-2 cabal build doc: - load-env-cgserver-1 cabal haddock --executable + load-env-cgserver-2 cabal haddock --executable env: nix-env -f env.nix -i |