diff options
| author | Dana Jansens <danakj@orodu.net> | 2009-12-21 10:43:38 -0500 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2009-12-21 10:43:38 -0500 |
| commit | a03b817aeb7fe32be881c30d50fab79455db08c5 (patch) | |
| tree | 0c3fffbd7ecd565cf1bfbf66be04e00563a3463f /tools/obprop/Makefile | |
| parent | b7393636e05c95ec068e8a1ff063cbefa63a901b (diff) | |
| parent | 6d8b7bd5f7ede1803c1259f5c1b760e5dbf4dbe3 (diff) | |
Merge branch 'backport' into work
Diffstat (limited to 'tools/obprop/Makefile')
| -rw-r--r-- | tools/obprop/Makefile | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/tools/obprop/Makefile b/tools/obprop/Makefile deleted file mode 100644 index cfc46539..00000000 --- a/tools/obprop/Makefile +++ /dev/null @@ -1,4 +0,0 @@ -all clean install: - $(MAKE) -C ../.. -$(MAKEFLAGS) $@ - -.PHONY: all clean install |