diff options
Diffstat (limited to 'src/indexamajig.c')
| -rw-r--r-- | src/indexamajig.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/indexamajig.c b/src/indexamajig.c index 823ebb79..c450fd83 100644 --- a/src/indexamajig.c +++ b/src/indexamajig.c @@ -556,7 +556,8 @@ int main(int argc, char *argv[]) iargs.int_diag_l = l; } - if ( iargs.int_diag == INTDIAG_NONE ) { + if ( (iargs.int_diag == INTDIAG_NONE) + && (strcmp(int_diag, "none") != 0) ) { ERROR("Invalid value for --int-diag.\n"); return 1; } |