paranoid watcher

[m6w6/ext-psi] / Makefile.frag

diff --git a/Makefile.frag b/Makefile.frag
index 5a7a8774776a9fe86c98dc9f678a76bf0a6023ad..f68503fc8811889ecbb8a4d06a8e2a4fa8aefca8 100644 (file)
--- a/Makefile.frag
+++ b/Makefile.frag
@@ -18,9 +18,9 @@ $(PHP_PSI_SRCDIR)/src/parser_proc.c: $(PHP_PSI_SRCDIR)/src/parser_proc_grammar.y
        # trickery needed for relative #line directives
        cd $(PHP_PSI_SRCDIR) && bison -Wall -v -d -o $(patsubst $(PHP_PSI_SRCDIR)/%,%,$@) $(patsubst $(PHP_PSI_SRCDIR)/%,%,$<)
 
-$(PHP_PSI_SRCDIR)/src/parser.re: $(PHP_PSI_SRCDIR)/src/parser_proc.h
+$(PHP_PSI_SRCDIR)/src/parser_scan.re: $(PHP_PSI_SRCDIR)/src/parser_proc.h
        touch $@
-$(PHP_PSI_SRCDIR)/src/parser.c: $(PHP_PSI_SRCDIR)/src/parser.re
+$(PHP_PSI_SRCDIR)/src/parser_scan.c: $(PHP_PSI_SRCDIR)/src/parser_scan.re
        # trickery needed for relative #line directives
        cd $(PHP_PSI_SRCDIR) && $(RE2C) -o $(patsubst $(PHP_PSI_SRCDIR)/%,%,$@) $(patsubst $(PHP_PSI_SRCDIR)/%,%,$<)
 
@@ -31,7 +31,7 @@ $(PHP_PSI_SRCDIR)/src/calc.h: | $(PHP_PSI_SRCDIR)/src/calc/basic.h $(PHP_PSI_SRC
 
 .PHONY: psi-generated
 psi-generated: $(PHP_PSI_GENERATED)
-       
+
 
 PHP_PSI_DEPEND = $(patsubst $(PHP_PSI_SRCDIR)/%,$(PHP_PSI_BUILDDIR)/%,$(PHP_PSI_SOURCES:.c=.dep))
 
@@ -82,7 +82,22 @@ psi-watch:
        -while inotifywait -q -e modify -r $(PHP_PSI_SRCDIR); do $(MAKE); done
 
 install-headers: psi-build-headers
-clean: psi-clean-headers psi-clean-aux
+clean: psi-clean-headers
 ifneq ($(PSI_DEPS),)
 clean: psi-clean-depend
 endif
+
+.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
+