diff options
| author | Anatol Belski <ab@php.net> | 2017-04-11 11:21:31 +0200 |
|---|---|---|
| committer | Anatol Belski <ab@php.net> | 2017-04-11 11:40:23 +0200 |
| commit | fa7bd5eabf902b2e0c4d8c28d6d4eebb0ebcc06f (patch) | |
| tree | ec0a00ef9f54e98872408fbfebe770ff267b2f59 /Zend/zend_execute_API.c | |
| parent | be540347e28d4f3d00749d87b591a1062cf4a470 (diff) | |
| download | php-git-fa7bd5eabf902b2e0c4d8c28d6d4eebb0ebcc06f.tar.gz | |
Fail hard if sed isn't found
now that the new SDK is required and supplies it.
Diffstat (limited to 'Zend/zend_execute_API.c')
0 files changed, 0 insertions, 0 deletions