Don't tell the name used is CRT

fucora · May 23, 2019 · 06e3254 · 06e3254
1 parent b8bf87b
commit 06e3254
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bin/phpsdk_deps.php b/bin/phpsdk_deps.php
@@ -128,7 +128,7 @@
 	/* The current CRT needs to match the config one. */
 	$active_crt = getenv("PHP_SDK_VS");
 	if (Config::getCurrentCrtName() != $active_crt && !$force) {
-		throw new Exception("Active CRT '$active_crt' differs from the branch CRT '" . Config::getCurrentCrtName() . "'.");
+		throw new Exception("Active CRT name '$active_crt' differs from the branch CRT name '" . Config::getCurrentCrtName() . "'.");
 	}
 
 	$branch_data = Config::getCurrentBranchData();