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
-.PHONY: psi-paranoid-backups
-psi-paranoid-backups:
- -if test -z "$((DEST))"; then \
- echo "Usage: make psi-paranoid-backups DEST=<repo to push to>"; \
- else \
- git ci -am flush; \
- git push $DEST; \
- fi
-