Commit 04a34fe
authored
Don't assign ANDROID_HOME if set already (pytorch#15198)
based on
https://github.com/pytorch/executorch/blob/4bf7e12cce28c2a9695bb34a0028f3cf25c9b829/docs/source/using-executorch-android.md
users might set up ANDROID_HOME by themselves. However the current
script doesn't use that. Fix the script and have it users the one user
specified1 parent 2d3a765 commit 04a34fe
1 file changed
+2
-2
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
82 | 82 | | |
83 | 83 | | |
84 | 84 | | |
85 | | - | |
| 85 | + | |
86 | 86 | | |
87 | | - | |
| 87 | + | |
88 | 88 | | |
89 | 89 | | |
90 | 90 | | |
| |||
0 commit comments