diff options
Diffstat (limited to 'main/motif/06-cast-size_t-to-int.patch')
| -rw-r--r-- | main/motif/06-cast-size_t-to-int.patch | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/main/motif/06-cast-size_t-to-int.patch b/main/motif/06-cast-size_t-to-int.patch new file mode 100644 index 0000000000..b5ce9c643a --- /dev/null +++ b/main/motif/06-cast-size_t-to-int.patch @@ -0,0 +1,17 @@ +Description: To prevent build failure during building with Hardening options + enabled due to "format '%d' expects argument of type 'int', but argument 5 has + type 'size_t'", the fifth argument is cast to integer on the input. +Author: Paul Gevers <elbrus@debian.org> +Updated: 13-01-2013 + +--- a/tools/wml/wmloutkey.c ++++ b/tools/wml/wmloutkey.c +@@ -627,7 +627,7 @@ + fprintf (outfil, " {%s, %s, %d, %s, \"%s\"},\n", + tkclass, + tksym, +- strlen(tokstg), ++ (int)strlen(tokstg), + tktoken, + tokstg); + if ( (int)strlen(tokstg) > *maxlen ) |