diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index 71c1a16..0000000 --- a/Makefile +++ /dev/null @@ -1,17 +0,0 @@ -HOST = simatime.com -USER = root -OUT = $(shell readlink -n ./result) - -result: - nix-build -A depo.nutin-madaj.system - -copy: result - nix copy --to "ssh://$(USER)@$(HOST)" ./result - -switch: - ssh $(USER)@$(HOST) sudo "$(OUT)/bin/switch-to-configuration" switch - -clean: FORCE - rm -f ./result - -.PHONY: FORCE |