Skip to content
Success

Changes

Summary

  1. Fix INRIA CI job other-configs (commit: cb0f2be) (details)
  2. fixes suggested by reviewer (commit: 2d294ca) (details)
  3. Fix ocamltest criterion for using `-custom` to link test file. (#14230) (commit: a18fbb7) (details)
  4. manual(etex): trim leading spaces (#14228) (commit: 7cd5ca2) (details)
  5. Fix test-in-prefix (#14216) (commit: 374aee4) (details)
The file was modifiedtools/ci/inria/main (diff)
The file was modifiedtools/ci/inria/other-configs/script (diff)
The file was modifiedtools/ci/inria/other-configs/script (diff)
The file was modifiedtools/ci/inria/main (diff)
Commit a18fbb7881ca8e95f1a738ac524888b697c8187d by noreply
Fix ocamltest criterion for using `-custom` to link test file. (#14230)

Ocamltest uses the wrong criterion when deciding whether to link the
test program with `-custom`.

Instead of looking at the libraries being linked and checking them
for dynamically-linked C code, simply check their `lib_custom` flag.
(commit: a18fbb7)
The file was modifiedocamltest/ocaml_actions.ml (diff)
The file was modifiedChanges (diff)
Commit 7cd5ca2e2357f3d895d4b23980dac826f0eb2bd8 by noreply
manual(etex): trim leading spaces (#14228)

(commit: 7cd5ca2)
The file was modifiedmanual/src/library/builtin.etex (diff)
The file was modifiedChanges (diff)
Commit 374aee416bc98d2e6db15b495f05bbb7d88ecfae by noreply
Fix test-in-prefix (#14216)

Add `flexlink.exe` and `ocamllex.exe` to the list of files that do not
link with the Config module. Normally, these are symlinks to `*.byte.exe`
or `*.opt.exe` but (depending on Windows shenanigans) `configure` may
decide to use `cp` instead of `ln -s`.
(commit: 374aee4)
The file was modifiedtestsuite/tools/testRelocation.ml (diff)