wok-next view le/stuff/patches/gcc-4.patch @ rev 21403

updated php again (7.4.4 -> 7.4.5)
author Hans-G?nter Theisgen
date Tue Apr 21 10:28:30 2020 +0100 (2020-04-21)
parents 5378a6ce05d5
children
line source
1 --- src/options.cc 2009-09-22 20:30:26.000000000 +0200
2 +++ src/options.cc 2009-09-22 20:30:01.000000000 +0200
3 @@ -1245,7 +1245,7 @@
4 FindColor(new_bw_pal,color_no));
5 return -1;
6 }
7 - char *l=strchr(button,'&');
8 + const char *l=strchr(button,'&');
9 if(!l)
10 return -1;
11 char res=toupper(l[1]);