Don't tell the name used is CRT

weltling · weltling · commit 06e32545f5f0 · 2019-05-23T17:51:21.000+02:00
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();

Original file line number	Diff line number	Diff line change
`@@ -128,7 +128,7 @@`
`128`	`128`	`/* The current CRT needs to match the config one. */`
`129`	`129`	`$active_crt = getenv("PHP_SDK_VS");`
`130`	`130`	`if (Config::getCurrentCrtName() != $active_crt && !$force) {`
`131`		`- throw new Exception("Active CRT '$active_crt' differs from the branch CRT '" . Config::getCurrentCrtName() . "'.");`
	`131`	`+ throw new Exception("Active CRT name '$active_crt' differs from the branch CRT name '" . Config::getCurrentCrtName() . "'.");`
`132`	`132`	`}`
`133`	`133`
`134`	`134`	`$branch_data = Config::getCurrentBranchData();`