diff options
Diffstat (limited to 'make/proxy.mk')
| -rw-r--r-- | make/proxy.mk | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/make/proxy.mk b/make/proxy.mk new file mode 100644 index 00000000..16831862 --- /dev/null +++ b/make/proxy.mk @@ -0,0 +1,10 @@ +THIS=$(notdir $(abspath .)) + +all: + $(MAKE) -C .. build_$(THIS) + +check: + $(MAKE) -C .. check_$(THIS) + +clean: + $(MAKE) -C .. clean_$(THIS) |