(print_element): Change type of argument from char

to int to avoid potential promotion problem.

diff --git a/src/uname.c b/src/uname.c
index 1823e5dc15eb7dc5019e0faca0c78c4877b835dc..ca1caa0c42435eb38f0c8418de4034b1429a8af8 100644 (file)
--- a/src/uname.c
+++ b/src/uname.c
@@ -38,7 +38,7 @@
 #include "version.h"
 #include "error.h"
 
-static void print_element __P ((unsigned char mask, char *element));
+static void print_element __P ((unsigned int mask, char *element));
 static void usage __P ((int status));
 
 /* Values that are bitwise or'd into `toprint'. */
@@ -160,7 +160,7 @@ main (int argc, char **argv)
    be printed, in which case print a newline. */
 
 static void
-print_element (unsigned char mask, char *element)
+print_element (unsigned int mask, char *element)
 {
   if (toprint & mask)
     {