]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #87279 - sunfishcode:document-unix-argv, r=RalfJung
authorGuillaume Gomez <guillaume1.gomez@gmail.com>
Wed, 21 Jul 2021 13:52:49 +0000 (15:52 +0200)
committerGitHub <noreply@github.com>
Wed, 21 Jul 2021 13:52:49 +0000 (15:52 +0200)
commiteb54ddd123d0c2d14968336189eb5ab9ab169c8e
treec3f1cad52b6e499acd8863f7821f5e65a98030a1
parent1008ace95c825bd48ad9dffdb27fd63be45bb3c2
parent2a56a681c4cfd56822e447a66adccdc32580b46a
Rollup merge of #87279 - sunfishcode:document-unix-argv, r=RalfJung

Add comments explaining the unix command-line argument support.

Following up on #87236, add comments to the unix command-line argument
support explaining that the code doesn't mutate the system-provided
argc/argv, and that this is why the code doesn't need a lock or special
memory ordering.

r? ```@RalfJung```