Code

Fix staged pps on Windows#10869

Code

Merged

nojb merged 12 commits intoocaml:mainocaml/dune:mainfrom nojb:fix_staged_pps_windowsnojb/dune:fix_staged_pps_windowsCopy head branch name to clipboardSep 5, 2024

+21-4

Commits

Commits on Sep 1, 2024

• Use backslashes when passing staged pps driver on Windows

  Show description for 150354b
  nojb

  committed
  150354b

• Changes

  Show description for 665dcaf
  nojb

  committed
  665dcaf

Commits on Sep 2, 2024

• Add Windows test for staged_pps

  Show description for 2fbf742
  nojb

  committed
  2fbf742

Commits on Sep 3, 2024

• Better fix using (a patched version of) Filename.quote_command

  Show description for af903cd
  nojb

  committed
  af903cd

• Adust docstring

  Show description for c7aaf59
  nojb

  committed
  c7aaf59

• Fix

  Show description for b464330
  nojb

  committed
  b464330

• Merge remote-tracking branch 'upstream/main' into fix_staged_pps_windows

  nojb

  committed
  092ca00

Commits on Sep 4, 2024

• Go back to replacing forward slashes by backslashes

  Show description for d5dce76
  nojb

  committed
  d5dce76

• Use String.map

  Show description for 64eba01
  nojb

  committed
  64eba01

• Fix

  Show description for 4d27a90
  nojb

  committed
  4d27a90

• Merge branch 'main' into fix_staged_pps_windows

  nojb

  authored
  7da46f7

Commits on Sep 5, 2024

• Merge branch 'main' into fix_staged_pps_windows

  nojb

  authored
  0e6035c