diff options
| author | tv <tv@also> | 2011-05-29 15:47:21 +0200 |
|---|---|---|
| committer | tv <tv@also> | 2011-05-29 15:47:21 +0200 |
| commit | 12c77cdbfa4ec48d935af3ae7cf1118e38bec6e1 (patch) | |
| tree | 2fdf8b557d2a2a1edaba2be569c2110c3822559f /infest/Makefile | |
| parent | edaa1d7f7a0ed33c019fce185b8aff7563498b6e (diff) | |
lowered filesystem hierarchy--everything are modules
Diffstat (limited to 'infest/Makefile')
| -rw-r--r-- | infest/Makefile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/infest/Makefile b/infest/Makefile new file mode 100644 index 00000000..ec5836a3 --- /dev/null +++ b/infest/Makefile @@ -0,0 +1,18 @@ + +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 |