From: Michael Wallner <mike@php.net>
Date: Thu, 22 Nov 2018 16:33:42 +0000 (+0100)
Subject: administrativa
X-Git-Url: https://git.m6w6.name/?a=commitdiff_plain;h=5ef50780e973c35976d0b279cb78da8b4f4c2d47;p=m6w6%2Fext-psi

administrativa
---

diff --git a/Makefile.frag b/Makefile.frag
index f68503f..59f2b06 100644
--- a/Makefile.frag
+++ b/Makefile.frag
@@ -94,7 +94,7 @@ psi-paranoid-backups:
 		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)"; \
+		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); \