mark 3d14bc1b12 Use an integer rather than a char for the getopt() return value in order
to make it work with architectures that use unsigned chars.
1997-01-29 01:49:25 +00:00
..