diff options
| author | tv <tv@also> | 2011-07-31 04:25:17 +0200 | 
|---|---|---|
| committer | tv <tv@also> | 2011-07-31 04:25:17 +0200 | 
| commit | 878f7dd7f45584168ec23f5c311f284ae0424254 (patch) | |
| tree | e150e2ed0de2f2ba4f6fbb432e3fa9c524609d10 /json/sh | |
| parent | 921a8e5a69b38aaa2da397778d176a2ba7abf549 (diff) | |
move top-level Makefile back^_^
Diffstat (limited to 'json/sh')
| -rw-r--r-- | json/sh/Makefile | 19 | 
1 files changed, 0 insertions, 19 deletions
diff --git a/json/sh/Makefile b/json/sh/Makefile deleted file mode 100644 index 188e6ca2..00000000 --- a/json/sh/Makefile +++ /dev/null @@ -1,19 +0,0 @@ -DIST = debian - -.PHONY: infest all -all: select-target - -infest: -	make -C infest - -install-core: -	core/$(DIST) - -noise: -	make -C noise infest -streams: -	make -C streams -monitoring: -	make -C Monitoring debian -zoneminder: -	make -C zoneminder fix it so hard  | 
