mirror of
https://github.com/php/php-src.git
synced 2025-08-15 21:48:51 +02:00
rudimentary midipix port (#13896)
This commit is contained in:
parent
d14b208552
commit
ff76cb738b
6 changed files with 390 additions and 5 deletions
|
@ -2199,7 +2199,7 @@ int main(void)
|
|||
ac_cv_write_stdout=no
|
||||
],[
|
||||
case $host_alias in
|
||||
*linux*)
|
||||
*linux*|*midipix)
|
||||
ac_cv_write_stdout=yes
|
||||
;;
|
||||
*)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue