3 files changed, 10 insertions, 2 deletions
diff --git a/share/man/man5/src.conf.5 b/share/man/man5/src.conf.5
index 1d55ab074a45..a047dfb528fd 100644
--- a/share/man/man5/src.conf.5
+++ b/share/man/man5/src.conf.5
@@ -1,5 +1,5 @@
 .\" DO NOT EDIT-- this file is @generated by tools/build/options/makeman.
-.Dd December 21, 2025
+.Dd December 28, 2025
 .Dt SRC.CONF 5
 .Os
 .Sh NAME
@@ -1590,6 +1590,13 @@ option.
 Exclude build metadata (such as the build time, user, or host)
 from the kernel, boot loaders, and uname output, so that builds produce
 bit-for-bit identical output.
+.It Va WITH_REPRODUCIBLE_PATHS
+Modify the paths encoded in binary artifacts to be standard path
+
+Normaly, the actual path is encoded in the binary. However, this makes the build
+differ depending on the path it was built from. With this option enabled, the
+paths recorded are /usr/src, regardless of the actual path. With this option
+disabled, the actual paths are recorded.
 .It Va WITHOUT_RESCUE
 Do not build
 .Xr rescue 8 .
diff --git a/share/mk/bsd.debug.mk b/share/mk/bsd.debug.mk
index cf2fb4356aef..9f4dc5d90484 100644
--- a/share/mk/bsd.debug.mk
+++ b/share/mk/bsd.debug.mk
@@ -16,7 +16,7 @@ MK_WERROR=	no
 # If reproducible build mode is enabled, map the root of the source
 # directory to /usr/src and the root of the object directory to
 # /usr/obj.
-.if ${MK_REPRODUCIBLE_BUILD} != "no" && !defined(DEBUG_PREFIX)
+.if ${MK_REPRODUCIBLE_PATHS} != "no" && !defined(DEBUG_PREFIX)
 .if defined(SRCTOP)
 DEBUG_PREFIX+= ${SRCTOP:S,/$,,}=/usr/src
 .endif
diff --git a/share/mk/src.opts.mk b/share/mk/src.opts.mk
index 0d806702417f..0805c88976da 100644
--- a/share/mk/src.opts.mk
+++ b/share/mk/src.opts.mk
@@ -217,6 +217,7 @@ __DEFAULT_NO_OPTIONS = \
     MALLOC_PRODUCTION \
     OFED_EXTRA \
     OPENLDAP \
+    REPRODUCIBLE_PATHS \
     RPCBIND_WARMSTART_SUPPORT \
     SORT_THREADS \
     ZONEINFO_LEAPSECONDS_SUPPORT \