diff options
| author | 2018-04-12 16:41:17 -0700 | |
|---|---|---|
| committer | 2018-04-12 16:41:17 -0700 | |
| commit | c7f16e4fd43589dd6712a7c5efe04d5cd3a56714 (patch) | |
| tree | 43c9aa7e3630b0dc2933495c47c7773454c40532 /tools/normalize_path.py | |
| parent | 65ba0bf59c47f75987b67301b24820ab9512eef3 (diff) | |
Add USER to the docker environment
Apparently Jack needs this, and my previous testing didn't show it.
Test: build & run image; echo $USER
Change-Id: I66766b230f2f3e0762a49efc9bf2c6212b2b2c4d
Diffstat (limited to 'tools/normalize_path.py')
0 files changed, 0 insertions, 0 deletions