diff options
| author | Mikhail Glushenkov <foldr@codedgers.com> | 2008-11-28 00:12:09 +0000 |
|---|---|---|
| committer | Mikhail Glushenkov <foldr@codedgers.com> | 2008-11-28 00:12:09 +0000 |
| commit | 3321b0ff2408c2a2c5d84f88c5b953f36c99d90a (patch) | |
| tree | 780f7a6ce3c7c7d6f3763207606aea1e54dbc154 | |
| parent | 9fd4955c6ab9a191dec2d5afd4b2027d4b906f2e (diff) | |
Documentation: clarify what is meant by 'multiple edges'.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@60197 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | tools/llvmc/doc/LLVMC-Reference.rst | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/llvmc/doc/LLVMC-Reference.rst b/tools/llvmc/doc/LLVMC-Reference.rst index ab45bc3992..290778468a 100644 --- a/tools/llvmc/doc/LLVMC-Reference.rst +++ b/tools/llvmc/doc/LLVMC-Reference.rst @@ -231,7 +231,8 @@ which gets a special treatment - there you are allowed to specify one default edge *per language*). When multiple plugins are loaded, their compilation graphs are merged -together. Since multiple edges are not allowed, an edge defined in +together. Since multiple edges that have the same end nodes are not +allowed (i.e. the graph is not a multigraph), an edge defined in several plugins will be replaced by the definition from the plugin that was loaded last. Plugin load order can be controlled by using the plugin priority feature described above. |