Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Get rid of shellquote macro (commit: afcac60) (details)
  2. Revert "regression test for #9701" (commit: 2ddae12) (details)
The file was modifiedMakefile.common (diff)
The file was modifiedtools/Makefile (diff)
Commit 2ddae1250b833b3d7f415e0a6c7c97122293c2b8 by gabriel.scherer
Revert "regression test for #9701"

This reverts commit f0fae6692f7945ddcc8ab1267fdcb22b9e2fe40e.

This new test appears to break something on the CI, possibly when
flambda is used:

>  ... testing 'toplevel_script_backtrace.ml' with 1 (toplevel) =>
> failed (Running toplevel_script_backtrace.ml in bytecode toplevel
> (expected exit status: 2): command
> /home/barsac/ci/builds/workspace/extra-checks/runtime/ocamlrun
> /home/barsac/ci/builds/workspace/extra-checks/ocaml -noinit -no-version -noprompt -nostdlib -I
> /home/barsac/ci/builds/workspace/extra-checks/stdlib -I
> /home/barsac/ci/builds/workspace/extra-checks/toplevel
> toplevel_script_backtrace.ml failed with exit code 1)
 (commit: 2ddae12)
The file was removedtestsuite/tests/backtrace/toplevel_script_backtrace.ocaml.reference
The file was removedtestsuite/tests/backtrace/toplevel_script_backtrace.ml