diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-10-09 15:05:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-09 15:05:47 +0200 |
| commit | cb7e4aa6d46ec247c7fc41104e4459a062cce77c (patch) | |
| tree | c1496c89590eb49652ab384df8736074ac61184d /methods.py | |
| parent | 11202b8e89463167fb0118ec0fab469f3248de77 (diff) | |
| parent | a4cee286e66293dab1a377c83971764fe7d480a2 (diff) | |
Merge pull request #11926 from RameshRavone/patch-11
flatDir support [Android] (Master)
[ci skip]
Diffstat (limited to 'methods.py')
| -rw-r--r-- | methods.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/methods.py b/methods.py index f1ef95f6fe..b56a0364b5 100644 --- a/methods.py +++ b/methods.py @@ -1360,6 +1360,10 @@ def win32_spawn(sh, escape, cmd, args, spawnenv): return exit_code """ +def android_add_flat_dir(self, dir): + if (dir not in self.android_flat_dirs): + self.android_flat_dirs.append(dir) + def android_add_maven_repository(self, url): if (url not in self.android_maven_repos): self.android_maven_repos.append(url) |