Git-Mirrors/DivestOS
1
0
Fork 0
mirror of https://github.com/Divested-Mobile/DivestOS-Build.git synced 2025-06-24 22:40:42 -04:00
Code Issues Projects Releases Packages Wiki Activity

More handling improvements

Browse source 
Signed-off-by: Tad <tad@spotco.us>
This commit is contained in:
Tad 2023-03-08 16:02:02 -05:00
parent 0b294c1601
commit ef2fdb1d3e
No known key found for this signature in database
GPG key ID: B286E9F57A07424B
9 changed files with 60 additions and 29 deletions
Download patch file Download diff file Expand all files Collapse all files

3
Scripts/init.sh
View file

@ -187,3 +187,6 @@ source "$DOS_SCRIPTS_COMMON/Shell.sh";
source "$DOS_SCRIPTS_COMMON/Functions.sh";
source "$DOS_SCRIPTS_COMMON/Tag_Verifier.sh";
source "$DOS_SCRIPTS/Functions.sh";
[[ -f "$DOS_BUILD_BASE/.repo/local_manifests/roomservice.xml" ]] && echo "roomservice manifest found! Please fix your manifests before continuing!";
[[ -f "$DOS_BUILD_BASE/DOS_PATCHED_FLAG" ]] && echo "NOTE: THIS WORKSPACE IS ALREADY PATCHED, PLEASE RESET BEFORE PATCHING AGAIN!";