wok diff le/stuff/gcc-4.patch @ rev 21980

updated stuntman (1.2.6 -> 1.2.15)
author: Hans-G?nter Theisgen
date: Fri Oct 11 17:56:48 2019 +0100 (2019-10-11)
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/le/stuff/gcc-4.patch	Fri Oct 11 17:56:48 2019 +0100
     1.3 @@ -0,0 +1,11 @@
     1.4 +--- src/options.cc	2009-09-22 20:30:26.000000000 +0200
     1.5 ++++ src/options.cc	2009-09-22 20:30:01.000000000 +0200
     1.6 +@@ -1245,7 +1245,7 @@
     1.7 +                 FindColor(new_bw_pal,color_no));
     1.8 +       return -1;
     1.9 +    }
    1.10 +-   char *l=strchr(button,'&');
    1.11 ++   const char *l=strchr(button,'&');
    1.12 +    if(!l)
    1.13 +       return -1;
    1.14 +    char res=toupper(l[1]);