diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/if_mach.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/if_mach.c b/tools/if_mach.c index 94053a66..f99d1649 100644 --- a/tools/if_mach.c +++ b/tools/if_mach.c @@ -9,7 +9,7 @@ int main(int argc, char **argv) { if (argc < 4) goto Usage; if (strcmp(MACH_TYPE, argv[1]) != 0) return(0); - if (strcmp(OS_TYPE, "") != 0 && strcmp(argv[2], "") != 0 + if (strlen(OS_TYPE) > 0 && strlen(argv[2]) > 0 && strcmp(OS_TYPE, argv[2]) != 0) return(0); fprintf(stderr, "^^^^Starting command^^^^\n"); fflush(stdout); |