diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 13 |
1 files changed, 12 insertions, 1 deletions
@@ -2,7 +2,14 @@ -all: +all: result + + +result: ALWAYS + rm -f result-next + guix system -v3 -r result-next build src/infrastructure/guix/system.scm + rm -f result + mv result-next result check: @@ -10,6 +17,7 @@ check: clean: rm -rf \ src/secrets/*.txt src/infrastructure/keys/SSH/*.stripped \ + result result-next \ public: @@ -53,3 +61,6 @@ upload-secrets: $(prod-secrets.txt) $(public-ssh).stripped ## it to rsync.net. upload-keys: cat src/infrastructure/keys/SSH/*.txt | ssh suyin dd of=.ssh/authorized_keys + + +ALWAYS: |