diff options
author | Luke Shumaker <lukeshu@sbcglobal.net> | 2015-07-19 19:31:39 -0600 |
---|---|---|
committer | Luke Shumaker <lukeshu@sbcglobal.net> | 2015-07-19 19:31:39 -0600 |
commit | 4f657c1a9089993396c702cf7bc3518b18eef3c9 (patch) | |
tree | 3f481b148988b912ce209fbfca0a0cbf3cc2d1df /.config/Makefile | |
parent | de4f8ceb6473cfc6a20230cc9c7728e25cc04fb8 (diff) | |
parent | 641fc49fc651b6a67fb8ff90198e889e0e3920bb (diff) |
Merge branch 'master' into build64-par/master
Diffstat (limited to '.config/Makefile')
-rw-r--r-- | .config/Makefile | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/.config/Makefile b/.config/Makefile index 94d0cca..9ee3115 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,10 +16,11 @@ 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)' > '$@' + find -L $< -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)' > '$@' ${GIT_DIR}/info/exclude: ${HOME}/.git.info.exclude.in $(shell echo .??*/) ( cat $<; find $^ -type f -name 'CACHEDIR.TAG' -printf '%h\n'|sed 's@^\./@/@' ) > $@ @@ -40,7 +41,5 @@ ${HOME}/Maildir/%: | ${HOME}/Maildir touch '$@'/maildirfolder .DELETE_ON_ERROR: -.PHONY: FORCE PHONY -FORCE: ; -PHONY: ; +.SECONDARY: endif |