diff --git a/sys/conf/kern.post.mk b/sys/conf/kern.post.mk index c0b013528f7..be31b9afeaa 100644 --- a/sys/conf/kern.post.mk +++ b/sys/conf/kern.post.mk @@ -236,6 +236,9 @@ kernel-reinstall: config.o env.o hints.o vers.o vnode_if.o: ${NORMAL_C} +.if defined(CTFCONVERT) + ${CTFCONVERT} ${CTFFLAGS} ${.TARGET} +.endif config.ln env.ln hints.ln vers.ln vnode_if.ln: ${NORMAL_LINT}