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

Minor fixes

Browse source
This commit is contained in:
Tad 2019-03-31 22:46:37 -04:00
parent 61ee2e5757
commit 7223df543a
10 changed files with 22 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

1
Scripts/init.sh
View file

@ -89,6 +89,7 @@ gpgVerifyGitHead() {
export -f gpgVerifyGitHead;
BUILD_WORKING_DIR=${PWD##*/};
DOS_VERSION=$BUILD_WORKING_DIR;
if [ -d ".repo" ]; then
echo "Detected $BUILD_WORKING_DIR";
else