diff options
| author | 2026-03-02 17:54:04 +0100 | |
|---|---|---|
| committer | 2026-03-02 17:54:18 +0100 | |
| commit | fb2120120ee0b5a0165e4d10ee64dfd7bf01814b (patch) | |
| tree | 73915e0ede0e30cf27a78bd573a58ece8072c6ff /main.c | |
| parent | f2285400e65dafe730a073b3ca92494d72c7295b (diff) | |
driver: fix -pthread, -U
Diffstat (limited to 'main.c')
| -rw-r--r-- | main.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -199,7 +199,7 @@ optparse(char **args) const char *s = *++args; if (!s) fatal(NULL, "missing target name"); task.targ = s; - } else if (*arg == 'l' || *arg == 'L' || *arg == 'B' || !strcmp(arg, "shared")) { + } else if (*arg == 'l' || *arg == 'L' || *arg == 'B' || !strcmp(arg, "shared") || !strcmp(arg, "pthread")) { vpush(&task.linkargs, arg-1); } else if (!strcmp(arg, "v") || !strcmp(arg, "-verbose")) { task.verbose = 1; |