mirror of
https://github.com/Divested-Mobile/DivestOS-Build.git
synced 2025-05-02 06:26:20 -04:00
Minor tweaks
This commit is contained in:
parent
aaa44f058e
commit
de5a4dda72
4 changed files with 6 additions and 5 deletions
|
@ -86,6 +86,7 @@ patchWorkspace() {
|
|||
|
||||
source build/envsetup.sh;
|
||||
#repopick 219020; #ab-neverallow-user
|
||||
repopick -it O_asb_2019-05;
|
||||
|
||||
source "$DOS_SCRIPTS/Patch.sh";
|
||||
source "$DOS_SCRIPTS/Defaults.sh";
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue