version 1.45, 2020/08/11 16:57:05 |
version 1.46, 2020/12/09 20:00:11 |
|
|
THIS SOFTWARE. |
THIS SOFTWARE. |
****************************************************************/ |
****************************************************************/ |
|
|
const char *version = "version 20200807"; |
const char *version = "version 20201208"; |
|
|
#define DEBUG |
#define DEBUG |
#include <stdio.h> |
#include <stdio.h> |
|
|
fn = getarg(&argc, &argv, "no program filename"); |
fn = getarg(&argc, &argv, "no program filename"); |
if (npfile >= maxpfile) { |
if (npfile >= maxpfile) { |
maxpfile += 20; |
maxpfile += 20; |
pfile = realloc(pfile, maxpfile * sizeof(*pfile)); |
pfile = (char **) realloc(pfile, maxpfile * sizeof(*pfile)); |
if (pfile == NULL) |
if (pfile == NULL) |
FATAL("error allocating space for -f options"); |
FATAL("error allocating space for -f options"); |
} |
} |