diff options
| author | Dana Jansens <danakj@orodu.net> | 2009-12-14 15:25:57 -0500 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2009-12-14 15:25:57 -0500 |
| commit | a93b00a5e93281c7c2c31112f0b6b827d605a19d (patch) | |
| tree | 92c786a617a3dc755c633eeb8c5410407a258fbf /tools/obprop/Makefile | |
| parent | acafa38c8ea210b12ed92fc16281b915ab61542c (diff) | |
| parent | f3e553446fdcfc04f26ea25396a138965c4a999d (diff) | |
Merge branch 'backport' into work
Diffstat (limited to 'tools/obprop/Makefile')
| -rw-r--r-- | tools/obprop/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/obprop/Makefile b/tools/obprop/Makefile new file mode 100644 index 00000000..cfc46539 --- /dev/null +++ b/tools/obprop/Makefile @@ -0,0 +1,4 @@ +all clean install: + $(MAKE) -C ../.. -$(MAKEFLAGS) $@ + +.PHONY: all clean install |