diff options
Diffstat (limited to 'manager/Makefile')
| -rw-r--r-- | manager/Makefile | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/manager/Makefile b/manager/Makefile deleted file mode 100644 index 3f45ac7..0000000 --- a/manager/Makefile +++ /dev/null @@ -1,12 +0,0 @@ -MAKE_DIRECTORIES = bin lib - -.PHONY: all -idl: $(MAKE_DIRECTORIES) -all: $(MAKE_DIRECTORIES) - -.PHONY: $(MAKE_DIRECTORIES) -$(MAKE_DIRECTORIES): - @$(MAKE) --keep-going --directory=$@ $(MAKECMDGOALS) - -.PHONY: $(MAKECMDGOALS) -$(MAKECMDGOALS): $(MAKE_DIRECTORIES) |