diff options
author | tv <tv@xso> | 2011-09-09 15:02:29 +0200 |
---|---|---|
committer | tv <tv@xso> | 2011-09-09 15:02:29 +0200 |
commit | 98da300063721871ea36e43a3b34d59311643302 (patch) | |
tree | 6772e4a4bbce97d2c0c76970461f21c4f52afe5c /infest/Makefile | |
parent | 6a2c1014c99ff37028c138dfc12722849f72eab9 (diff) |
//infest: purge make-patch
Diffstat (limited to 'infest/Makefile')
-rw-r--r-- | infest/Makefile | 20 |
1 files changed, 2 insertions, 18 deletions
diff --git a/infest/Makefile b/infest/Makefile index ec5836a3..b96e1d7c 100644 --- a/infest/Makefile +++ b/infest/Makefile @@ -1,18 +1,2 @@ - -ifndef patch_file -patch_file := /etc/Verkrebsung.patch -endif - -ifndef patch_flags -patch_flags := -endif - -.PHONY: infest dry-run -infest: $(patch_file) - unset POSIXLY_CORRECT; patch $(patch_flags) -fNp0 < $< - -$(patch_file): bin/make-patch - $< >$@ - -dry-run: - make patch_file=/tmp/krebs-infest-dry-run.patch patch_flags=--dry-run +%: + @echo '[31;1;5mwhatever you try: you are made of stupid![m' >&2 |