Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/linker.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordotnet-maestro[bot] <42748379+dotnet-maestro[bot]@users.noreply.github.com>2019-08-30 15:43:39 +0300
committerGitHub <noreply@github.com>2019-08-30 15:43:39 +0300
commit0c5dac95bf7f5c264724d9c77625c2a547bd7820 (patch)
treec575b6c33bda3d2bb3482e35bcce2a40e6673da2 /eng/common/darc-init.sh
parentc1b984b216620bd832c8be39f3d8ca6fd0dcfb9c (diff)
Update dependencies from https://github.com/dotnet/arcade build 20190829.16 (#726)
- Microsoft.DotNet.Arcade.Sdk - 1.0.0-beta.19429.16
Diffstat (limited to 'eng/common/darc-init.sh')
-rwxr-xr-xeng/common/darc-init.sh6
1 files changed, 5 insertions, 1 deletions
diff --git a/eng/common/darc-init.sh b/eng/common/darc-init.sh
index abdd0bc05..242429bca 100755
--- a/eng/common/darc-init.sh
+++ b/eng/common/darc-init.sh
@@ -3,6 +3,7 @@
source="${BASH_SOURCE[0]}"
darcVersion=''
versionEndpoint="https://maestro-prod.westus2.cloudapp.azure.com/api/assets/darc-version?api-version=2019-01-16"
+verbosity=m
while [[ $# > 0 ]]; do
opt="$(echo "$1" | awk '{print tolower($0)}')"
@@ -15,6 +16,10 @@ while [[ $# > 0 ]]; do
versionEndpoint=$2
shift
;;
+ --verbosity)
+ verbosity=$2
+ shift
+ ;;
*)
echo "Invalid argument: $1"
usage
@@ -34,7 +39,6 @@ while [[ -h "$source" ]]; do
[[ $source != /* ]] && source="$scriptroot/$source"
done
scriptroot="$( cd -P "$( dirname "$source" )" && pwd )"
-verbosity=m
. "$scriptroot/tools.sh"