equal
deleted
inserted
replaced
429 |
429 |
430 ``priority`` |
430 ``priority`` |
431 The priority in which to evaluate this tool. |
431 The priority in which to evaluate this tool. |
432 Default: 0. |
432 Default: 0. |
433 ``executable`` |
433 ``executable`` |
434 Either just the name of the executable or its pathname. |
434 Either just the name of the executable or its pathname. On Windows, |
|
435 the path can use environment variables with ${ProgramFiles} syntax. |
435 Default: the tool name. |
436 Default: the tool name. |
436 ``args`` |
437 ``args`` |
437 The arguments to pass to the tool executable. You can refer to the |
438 The arguments to pass to the tool executable. You can refer to the |
438 files being merged as well as the output file through these |
439 files being merged as well as the output file through these |
439 variables: ``$base``, ``$local``, ``$other``, ``$output``. |
440 variables: ``$base``, ``$local``, ``$other``, ``$output``. |