administrativa

[m6w6/ext-psi] / Makefile.frag

diff --git a/Makefile.frag b/Makefile.frag
index 589785dc23ec0b1bdf8260b23dc34ddefba18046..64dd4a2fd44cbb82eda49c7ed9d3f3eae889985d 100644 (file)
--- a/Makefile.frag
+++ b/Makefile.frag
@@ -81,8 +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=<repo to push to>"; \
+               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
+