diff options
| author | Ben Elliston <bje@gnu.org> | 2016-03-20 20:20:15 +1100 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2016-03-20 20:22:13 +1100 |
| commit | 210f13127ae563fabc31f71e71751a4921ec32ba (patch) | |
| tree | 2214ff8edbd2894fba9398f46d4944df53e82938 /doc | |
| parent | 77c5f5d7b242ab38e71d81bbfd09e812eb394b6f (diff) | |
* runtest.exp: Load .dejagnurc last not first.
(load_file): Update comment about Tcl 7.5a2.
* doc/user.xml (Customizing DejaGnu): Document new search order
for site.exp files.
* doc/dejagnu.texi: Regenerate.
* NEWS: Update.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/dejagnu.texi | 6 | ||||
| -rw-r--r-- | doc/user.xml | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/doc/dejagnu.texi b/doc/dejagnu.texi index 99dd8f1..e0a0c41 100644 --- a/doc/dejagnu.texi +++ b/doc/dejagnu.texi @@ -1060,7 +1060,7 @@ it is possible to execute a testsuite merely by typing DejaGnu supports two @file{site.exp} files. The multiple instances of @file{site.exp} are -loaded in a fixed order built into DejaGnu. The first file loaded +loaded in a fixed order. The first file loaded is the local file @file{site.exp}, and then the optional global @file{site.exp} file as pointed to by the @code{DEJAGNU} environment @@ -1090,8 +1090,8 @@ site.exp} in the testsuite directory, after the test suite is configured. You can also have a file in your home directory called -@file{.dejagnurc}. This gets loaded first before the -other config files. Usually this is used for personal stuff, like +@file{.dejagnurc}. This gets loaded after the other +config files. Usually this is used for personal stuff, like setting the @code{all_flag} so all the output gets printed, or your own verbosity levels. This file is usually restricted to setting command line options. diff --git a/doc/user.xml b/doc/user.xml index 2e9bb81..b9c8d51 100644 --- a/doc/user.xml +++ b/doc/user.xml @@ -744,7 +744,7 @@ <para>&dj; supports two <filename>site.exp</filename> files. The multiple instances of <filename>site.exp</filename> are - loaded in a fixed order built into &dj;. The first file loaded + loaded in a fixed order. The first file loaded is the local file <filename>site.exp</filename>, and then the optional global <filename>site.exp</filename> file as pointed to by the <symbol>DEJAGNU</symbol> environment @@ -774,8 +774,8 @@ suite is configured.</para> <para>You can also have a file in your home directory called - <filename>.dejagnurc</filename>. This gets loaded first before the - other config files. Usually this is used for personal stuff, like + <filename>.dejagnurc</filename>. This gets loaded after the other + config files. Usually this is used for personal stuff, like setting the <symbol>all_flag</symbol> so all the output gets printed, or your own verbosity levels. This file is usually restricted to setting command line options.</para> |