github/linuxkit
1
0
Fork 0
mirror of https://github.com/linuxkit/linuxkit.git synced 2026-01-14 14:04:31 +00:00
Code Issues Projects Releases Wiki Activity

Split base/ into base/ and tools/

Browse Source 
Signed-off-by: Riyaz Faizullabhoy <riyaz.faizullabhoy@docker.com>
This commit is contained in:
Riyaz Faizullabhoy
2017-01-26 11:54:26 -08:00
parent 8be978e8d5
commit 0c545c0c53
36 changed files with 12 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
tools/Makefile Normal file
View File

@@ -0,0 +1,10 @@
DIRS = $(shell find . -type d -depth 1)
.PHONY: clean dirs $(DIRS)
push: $(DIRS)
$(DIRS):
$(MAKE) -C $@
clean:
rm -f hash