|
|
59ce6b826f
|
add docker_idf command
|
2019-01-03 18:43:18 -07:00 |
|
|
|
345a4f6a9d
|
fix docker permissions
|
2019-01-03 18:36:22 -07:00 |
|
|
|
15bba74d91
|
change docker image name
|
2019-01-03 18:27:28 -07:00 |
|
|
|
129dbc0c13
|
fix shellcheck issues in build.sh
|
2019-01-03 15:54:33 -07:00 |
|
|
|
ae49cd9fde
|
remove bad log line
|
2019-01-03 13:10:55 -07:00 |
|
|
|
f3a71db6bb
|
improve docker build and script
|
2018-12-31 00:33:25 -07:00 |
|
|
|
e1f6cea405
|
Proper tty support for build.sh
|
2018-12-18 01:01:35 -08:00 |
|
|
|
4431b16d2f
|
Add support for build through docker container
|
2018-12-16 18:41:22 -08:00 |
|
