diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..678c804 --- /dev/null +++ b/Makefile @@ -0,0 +1,14 @@ +WORKSPACE_DIR := $(shell pwd)/workspace + +shell: .build + docker run -it --rm -v $(WORKSPACE_DIR):/home/trimui/workspace trimui-toolchain /bin/bash +.PHONY: shell + +.build: Dockerfile defconfig *.patch + docker build -t trimui-toolchain . + touch .build + +.PHONY: clean +clean: + docker rmi trimui-toolchain + rm .build |