mirror of
https://github.com/Divested-Mobile/DivestOS-Build.git
synced 2025-05-05 16:05:02 -04:00
Add option to disable inclusion of our HOSTS file
This commit is contained in:
parent
ca05b3aca6
commit
747af2bc1c
3 changed files with 16 additions and 11 deletions
|
@ -18,12 +18,17 @@
|
|||
#Sets settings used by all other scripts
|
||||
|
||||
#START OF USER CONFIGURABLE OPTIONS
|
||||
export androidWorkspace="/mnt/Drive-3/"; #XXX: THIS MUST BE CORRECT TO BUILD!
|
||||
|
||||
|
||||
export MALWARE_SCAN_ENABLED=true; #Set true to perform a fast scan on patchWorkspace() and a through scan on buildAll()
|
||||
export MALWARE_SCAN_SETTING="quick"; #buildAll() scan speed. Options are quick, extra, slow, full
|
||||
export MICROG_INCLUDED=true; #Switch to false to prevent inclusion of microG
|
||||
export NON_COMMERCIAL_USE_PATCHES=false; #Switch to false to prevent inclusion of non-commercial use patches
|
||||
|
||||
export androidWorkspace="/mnt/Drive-3/"; #XXX: THIS MUST BE CORRECT TO BUILD!
|
||||
export MICROG_INCLUDED=true; #Switch to false to prevent inclusion of microG
|
||||
|
||||
export HOSTS_BLOCKING=true; #Switch to false to prevent inclusion of our HOSTS file
|
||||
|
||||
export NON_COMMERCIAL_USE_PATCHES=false; #Switch to false to prevent inclusion of non-commercial use patches
|
||||
#END OF USER CONFIGURABLE OPTIONS
|
||||
|
||||
BUILD_WORKING_DIR=${PWD##*/};
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue