Git-Mirrors/DivestOS
1
0
Fork 0
mirror of https://github.com/Divested-Mobile/DivestOS-Build.git synced 2025-05-02 06:26:20 -04:00
Code Issues Projects Releases Packages Wiki Activity

Many changes

Browse source 
- Switch to new HOSTS list
- Minor tweaks
- 14.1: Fix default Trebuchet workspaces
This commit is contained in:
Tad 2018-07-04 15:35:16 -04:00
parent 08bb0a87cc
commit ae0d89ee8a
8 changed files with 15 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Scripts/Common/Functions.sh
View file

@ -23,7 +23,7 @@ if [ "$DOS_NON_COMMERCIAL_USE_PATCHES" = true ]; then
fi;
startPatcher() {
java -jar "$DOS_PATCHER_BINARY" patch "$DOS_BUILD_BASE" "$DOS_WORKSPACE_ROOT""Patches/" "$DOS_SCRIPTS_CVES" $1;
java -jar "$DOS_BINARY_PATCHER" patch "$DOS_BUILD_BASE" "$DOS_WORKSPACE_ROOT""Patches/" "$DOS_SCRIPTS_CVES" $1;
}
export -f startPatcher;