From 1df8639baf324038edd00ad15501ea3abb502cac Mon Sep 17 00:00:00 2001 From: Michael Wallner Date: Thu, 22 Nov 2018 17:34:23 +0100 Subject: [PATCH] administrativa --- Makefile.frag | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/Makefile.frag b/Makefile.frag index 59f2b06..64dd4a2 100644 --- a/Makefile.frag +++ b/Makefile.frag @@ -81,12 +81,6 @@ psi-clean: psi-clean-depend psi-watch: -while inotifywait -q -e modify -r $(PHP_PSI_SRCDIR); do $(MAKE); done -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 "$(REPO)"; then \ @@ -101,3 +95,9 @@ psi-paranoid-backups: done; \ fi +install-headers: psi-build-headers +clean: psi-clean-headers +ifneq ($(PSI_DEPS),) +clean: psi-clean-depend +endif + -- 2.30.2