diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 10 |
1 files changed, 4 insertions, 6 deletions
@@ -42,16 +42,14 @@ src/config/tld.txt: Makefile src/config/offsite-ssh.txt: Makefile echo '$(OFFSITE_SSH)' | ifnew $@ -system.scm.sentinel: src/guix/system.scm src/config/tld.txt src/config/offsite-ssh.txt +src/config/root-pubkey.txt: src/keys/SSH/root@$(TLD).id_rsa.pub.txt Makefile + cut -d' ' -f8- < src/keys/SSH/root@$(TLD).id_rsa.pub.txt > $@ + +system.scm.sentinel: src/guix/system.scm src/config/tld.txt src/config/offsite-ssh.txt src/config/root-pubkey.txt rm -f system.scm* guix build -v3 -r system.scm -Kf src/guix/system.scm touch $@ -.SUFFIXES: .stripped -src/keys/SSH/root@$(TLD).id_rsa.pub.stripped: \ - src/keys/SSH/root@$(TLD).id_rsa.pub.txt - cut -d' ' -f8- < $*.txt > $@ - check-unit: |