| commit | 9e4a1bad45c5db66f40e0b71dcbf0c640bfe9347 | [log] [tgz] |
|---|---|---|
| author | Yo Chiang <yochiang@google.com> | Thu Apr 23 14:29:25 2020 +0800 |
| committer | Yo Chiang <yochiang@google.com> | Thu Apr 23 17:53:47 2020 +0800 |
| tree | c9e6023cadc40a2d4499147eda19b88f6163a63d | |
| parent | eedf0b0986754d43b2d3b679939debaab512e8d0 [diff] |
repo_diff: workspace mustn't be in existing tree Check that |workspace| is not a sub-directory of an Android tree, so that we don't `repo init` to a directory outside of |workspace|. Test: mkdir /tmp/test && cd /tmp/test && repo init [AOSP] Test: ./repo_diff_android.py # Should fail to repo-init Test: rm -rf .repo/ && ./repo_diff_android.py # Should success Change-Id: I3e1b94e8e3664cc50ab790aaa7e27b2a8d3feef0