aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2024-05-20 23:02:04 +0200
committerThomas Voss <mail@thomasvoss.com> 2024-05-20 23:02:04 +0200
commiteed4a51465794ece57fa98c4e672e4413d681b7d (patch)
tree28b8b0275ebea3ed59bc8b6a05a7171ee1d97d10
parent8a90029b40c3cb159d0fda5ccd66a0d3984c8088 (diff)
Remove useless CLI arg
-rw-r--r--make.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/make.c b/make.c
index afc1a06..1b48bbd 100644
--- a/make.c
+++ b/make.c
@@ -171,7 +171,7 @@ work(void *p)
else
env_or_default(&sv, "CFLAGS", CFLAGS_DBG);
cmdaddv(&c, sv.buf, sv.len);
- cmdadd(&c, CFLAGS_ALL, "-Iinclude", "-fPIC", "-o", dst, "-c", src);
+ cmdadd(&c, CFLAGS_ALL, "-fPIC", "-o", dst, "-c", src);
fprintf(stderr, "CC\t%s\n", dst);
CMDRC(c);
}