diff options
Diffstat (limited to 'doc/user/ENV.xml')
| -rw-r--r-- | doc/user/ENV.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/ENV.xml b/doc/user/ENV.xml index d843276..9fa2ec1 100644 --- a/doc/user/ENV.xml +++ b/doc/user/ENV.xml @@ -196,7 +196,7 @@ The drawback is that the build can behave differently if it's run by people with different &PATH; values in their environment--for example, - both the <literal>/bin</literal> and + if both the <literal>/bin</literal> and <literal>/usr/local/bin</literal> directories have different &cc; commands, then which one will be used to compile programs |