(docker) trim down docker image (300M -> 12M) / binary built without symbol and size optimization, and source code not copied over

2020-03-29 13:05:31 -07:00
parent 22b02e0e5c
commit 40c619c1ec
5 changed files with 46 additions and 21 deletions
--- a/tools/trim_repo_for_docker.sh
+++ b/tools/trim_repo_for_docker.sh
@@ -0,0 +1,6 @@
+#!/bin/sh
+# Used to clean up some non essential folders to make the ws container
+
+rm -rf build
+rm -rf third_party/zlib
+rm -rf third_party/mbedtls