diff options
Diffstat (limited to '')
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | Makefile | 10 |
2 files changed, 8 insertions, 3 deletions
@@ -1,5 +1,6 @@ /result* /*.mk +/*.sentinel /tests/internet/etc/postfix/main.cf /tests/internet/etc/dkimproxyout.conf /tests/internet/etc/dovecot/dovecot.conf @@ -74,8 +74,12 @@ result result.sentinel: default.nix debian.mk: paku.lock paku debian > $@ -debian: debian.mk +debian.sentinel: debian.mk @$(MAKE) -f debian.mk + touch debian.sentinel + +debian: debian.sentinel + homebrew: Formula @@ -85,7 +89,7 @@ Formula: paku.lock touch $@ -public/debian: debian +public/debian: debian.sentinel mkdir -p $(@D) rsync -avzP --delete `$(MAKE) -s -f debian.mk public-dir`/ $@/ @@ -102,7 +106,7 @@ upload: public clean: src/bin/paku rm -rf "`paku -C datadir`" rm -rf \ - $(derived-assets) result* *.mk public/ + $(derived-assets) result* *.mk *.sentinel public/ local-files = \ |