Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. win32unix: quote the arguments to the Unix.exec* functions (#9550) (commit: 914dd05) (details)
Commit 914dd057b5beb7f0246b8011472105d5096d8783 by noreply
win32unix: quote the arguments to the Unix.exec* functions (#9550)

Otherwise, arguments get split at spaces.
This is the same quoting that the Win32 implementation of
Unix.create_process does.

A test was added.

Fixes: 9320
 (commit: 914dd05)
The file was modifiedtestsuite/tests/lib-unix/common/test_unix_cmdline.reference (diff)
The file was modifiedChanges (diff)
The file was modifiedotherlibs/win32unix/unix.ml (diff)
The file was modifiedtestsuite/tests/lib-unix/common/test_unix_cmdline.ml (diff)