diff options
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -43,8 +43,8 @@ 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 - rm -f `basename $@ .sentinel`* - guix build -v3 -r`basename $@ .sentinel` -Kf src/guix/`basename $@ .sentinel` + rm -f system.scm* + guix build -v3 -r system.scm -Kf src/guix/system.scm touch $@ .SUFFIXES: .stripped |