Description: fix unportable assumptions in getopt_long() handling
 Don't store an int in a char and expect comparison to -1 to work across
 architectures.
Author: Steve Langasek <steve.langasek@ubuntu.com>
Last-Modified: 2018-04-06

Index: why3-0.88.3/src/server/options.c
===================================================================
--- why3-0.88.3.orig/src/server/options.c
+++ why3-0.88.3/src/server/options.c
@@ -30,7 +30,7 @@ void parse_options(int argc, char **argv
   };
   while (1) {
      int option_index = 0;
-     char c = 0;
+     int c = 0;
      c = getopt_long (argc, argv, "j:s:",
                       long_options, &option_index);
      /* Detect the end of the options. */
