Change setting name from repo to git

This commit is contained in:
Davide Depau 2020-04-19 01:33:04 +02:00
parent 3af909d348
commit d7a76e1120
1 changed files with 3 additions and 3 deletions

View File

@ -27,9 +27,9 @@ if [ "$PLUGIN_AUR" != "" ]; then
echo "Building AUR package $PLUGIN_AUR"
git clone "$AUR_URL/$PLUGIN_AUR.git" package
cd package
elif [ "$PLUGIN_REPO" != "" ]; then
echo "Building package from git repository: $PLUGIN_REPO"
git clone "$PLUGIN_REPO" package
elif [ "$PLUGIN_GIT" != "" ]; then
echo "Building package from git repository: $PLUGIN_GIT"
git clone "$PLUGIN_GIT" package
cd package
else
echo "Building source repository"