diff options
| -rw-r--r-- | Makefile | 7 |
1 files changed, 3 insertions, 4 deletions
@@ -42,10 +42,9 @@ 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 -system.scm.sentinel: - rm -f `basename $@ .sentinel`* - guix build -v3 -r`basename $@ .sentinel` -Kf src/guix/`basename $@ .sentinel` +system.scm.sentinel: src/guix/system.scm src/config/tld.txt src/config/offsite-ssh.txt + rm -f system.scm* + guix build -v3 -r system.scm -Kf src/guix/system.scm touch $@ .SUFFIXES: .stripped |