summaryrefslogtreecommitdiff
path: root/.config/Makefile
diff options
context:
space:
mode:
Diffstat (limited to '.config/Makefile')
-rw-r--r--.config/Makefile9
1 files changed, 4 insertions, 5 deletions
diff --git a/.config/Makefile b/.config/Makefile
index 94d0cca..ffac989 100644
--- a/.config/Makefile
+++ b/.config/Makefile
@@ -4,8 +4,8 @@ default: all; @:
%:
. ~/.profile && $(MAKE) '$@'
else
-SHELL = /bin/bash
+SHELL = /bin/bash -o pipefail
GIT_DIR = ${HOME}/.git
targets = \
@@ -16,7 +16,8 @@ targets = \
all: $(targets)
clean:
- rm -f $(targets)
+ rm -f -- $(targets)
+.PHONY: all clean
${HOME}/.folders: ${HOME}/Maildir $(MAKEFILE_LIST)
find $< -mindepth 2 -maxdepth 2 \( -type f -name "maildirfolder" -o -type d -name new -o -type d -name tmp -o -type d -name cur \) -printf '%P\0' | xargs -r0 dirname -z -- | sort -zu | xargs -0 printf -- '.%s\n' | grep -vP '^\.FOLDERS.Ham.20(?!15)' > '$@'
@@ -40,7 +41,5 @@ ${HOME}/Maildir/%: | ${HOME}/Maildir
touch '$@'/maildirfolder
.DELETE_ON_ERROR:
-.PHONY: FORCE PHONY
-FORCE: ;
-PHONY: ;
+.SECONDARY:
endif