Skip to content

Commit d3c8fc6

Browse files
committed
Further reproducibility tweak
1 parent 822d631 commit d3c8fc6

File tree

2 files changed

+44
-0
lines changed

2 files changed

+44
-0
lines changed

configure

Lines changed: 41 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

configure.ac

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2490,6 +2490,9 @@ AS_CASE([$ocaml_cc_vendor,$target],
24902490
AS_IF([test x"$bindir_to_libdir" != 'x'],
24912491
[srcdir_abs_real="$(realpath "$srcdir_abs" 2>/dev/null)"
24922492
AS_IF([test x"$srcdir_abs_real" = 'x'],[srcdir_abs_real="$srcdir_abs"])
2493+
AX_CHECK_COMPILE_FLAG([-Wa,--debug-prefix-map=old=new],
2494+
[internal_cflags="$internal_cflags \
2495+
-Wa,--debug-prefix-map=$srcdir_abs=+build"], [], [$warn_error_flag])
24932496
AX_CHECK_COMPILE_FLAG([-ffile-prefix-map=old=new],
24942497
[internal_cflags="$internal_cflags -ffile-prefix-map=$srcdir_abs=+build"
24952498
AS_IF([test x"$srcdir_abs_real" != x"$srcdir_abs"],

0 commit comments

Comments
 (0)