1
0
mirror of https://github.com/php/php-src.git synced 2026-04-28 18:53:33 +02:00

Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Die hard if mc.exe or mt.exe not found
This commit is contained in:
Anatol Belski
2019-03-11 20:59:23 +01:00
+6 -2
View File
@@ -3019,11 +3019,15 @@ function toolset_setup_project_tools()
PATH_PROG('7za');
// avoid picking up midnight commander from cygwin
PATH_PROG('mc', WshShell.Environment("Process").Item("PATH"));
if (!PATH_PROG('mc', WshShell.Environment("Process").Item("PATH"))) {
ERROR('mc is required')
}
// Try locating the manifest tool
if (VS_TOOLSET) {
PATH_PROG('mt', WshShell.Environment("Process").Item("PATH"));
if (!PATH_PROG('mt', WshShell.Environment("Process").Item("PATH"))) {
ERROR('mt is required')
}
}
}
/* Get compiler if the toolset is supported */