diff options
| -rw-r--r-- | mjit.c | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1782,10 +1782,10 @@ mjit_init(const struct mjit_options *opts) cc_added_args = split_flags(opts->debug_flags); xfree(opts->debug_flags); #if MJIT_CFLAGS_PIPE - // eliminate a flag incompatible with `-pipe` + // Filter out `-save-temps`. It's a C compiler flag used by update-deps and not compatible with `-pipe`. for (size_t i = 0, j = 0; i < sizeof(CC_COMMON_ARGS) / sizeof(char *); i++) { if (CC_COMMON_ARGS[i] && strncmp("-save-temps", CC_COMMON_ARGS[i], strlen("-save-temps")) == 0) - continue; // skip -save-temps flag + continue; // Skip `-save-temps` cc_common_args[j] = CC_COMMON_ARGS[i]; j++; } |
