X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-psi;a=blobdiff_plain;f=Makefile.frag;h=64dd4a2fd44cbb82eda49c7ed9d3f3eae889985d;hp=a9f6035bfa37e4da4bfa20988d9ea83481981ac0;hb=1df8639baf324038edd00ad15501ea3abb502cac;hpb=036752dbbcb77494de9935ac459ea5cf0ea34b4b diff --git a/Makefile.frag b/Makefile.frag index a9f6035..64dd4a2 100644 --- a/Makefile.frag +++ b/Makefile.frag @@ -81,18 +81,23 @@ psi-clean: psi-clean-depend psi-watch: -while inotifywait -q -e modify -r $(PHP_PSI_SRCDIR); do $(MAKE); done +.PHONY: psi-paranoid-backups +psi-paranoid-backups: + @-if test -z "$(REPO)"; then \ + echo; \ + echo "Usage: make psi-paranoid-backups REPO="; \ + echo; \ + else \ + echo "Watching $(PHP_PSI_SRCDIR) for changes to flush and push to $(REPO) ..."; \ + while inotifywait -q -e modify -r $(PHP_PSI_SRCDIR); do \ + git ci -am flush; \ + git push $(REPO); \ + done; \ + fi + install-headers: psi-build-headers clean: psi-clean-headers ifneq ($(PSI_DEPS),) clean: psi-clean-depend endif -.PHONY: psi-paranoid-backups -psi-paranoid-backups: - -if test -z "$((DEST))"; then \ - echo "Usage: make psi-paranoid-backups DEST="; \ - else \ - git ci -am flush; \ - git push $DEST; \ - fi -