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

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'eng/common/tools.sh')
-rwxr-xr-xeng/common/tools.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/eng/common/tools.sh b/eng/common/tools.sh
index a8dffd34528..86973b3c2f0 100755
--- a/eng/common/tools.sh
+++ b/eng/common/tools.sh
@@ -349,7 +349,7 @@ function InitializeToolset {
fi
if [[ "$restore" != true ]]; then
- EmitError "Toolset version $toolsetVersion has not been restored."
+ EmitError "Toolset version $toolset_version has not been restored."
ExitWithExitCode 2
fi