]> granicus.if.org Git - php/commitdiff
Fail hard if sed isn't found
authorAnatol Belski <ab@php.net>
Tue, 11 Apr 2017 09:21:31 +0000 (11:21 +0200)
committerAnatol Belski <ab@php.net>
Tue, 11 Apr 2017 09:40:23 +0000 (11:40 +0200)
now that the new SDK is required and supplies it.

win32/build/confutils.js

index d93cfe4a681b551a3ce92be9af470db2662a33fa..46c4090b4f68c8d6f31270ae175a22f2e9952e69 100644 (file)
@@ -2880,7 +2880,9 @@ function toolset_setup_project_tools()
        }
 
        /* TODO throw error, ignore for now for BC. */
-       PATH_PROG('sed');
+       if (!PATH_PROG('sed')) {
+               ERROR('sed is required')
+       }
 
        RE2C = PATH_PROG('re2c');
        if (RE2C) {