version 1.11, 2005/07/01 00:03:36 |
version 1.12, 2021/05/02 12:50:43 |
Line 98 main(int argc, char *argv[]) |
|
Line 98 main(int argc, char *argv[]) |
|
|
|
while ((c = getc(infile)) != EOF) { |
while ((c = getc(infile)) != EOF) { |
if (linestart && c == ' ') { /* Convert first spaces to tab */ |
if (linestart && c == ' ') { /* Convert first spaces to tab */ |
printf("0x%02x,", |
printf("0x%02x,", |
(unsigned int)('\t' ^ random()) & 0xFF); |
(unsigned int)('\t' ^ random()) & 0xFF); |
while ((c = getc(infile)) == ' ' && c != EOF); |
while ((c = getc(infile)) == ' ' && c != EOF); |
/* Drop the non-whitespace character through */ |
/* Drop the non-whitespace character through */ |