Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
tools:start [2021/05/19 10:40] rajit [Common command-line options] |
tools:start [2021/05/19 10:43] rajit [Common command-line options] |
||
---|---|---|---|
Line 37: | Line 37: | ||
* '' | * '' | ||
* '' | * '' | ||
+ | * '' | ||
+ | * '' | ||
An individual project might want to include a standard set of ACT options (e.g. -T//tech//) for all ACT tool invocations. The environment variable '' | An individual project might want to include a standard set of ACT options (e.g. -T//tech//) for all ACT tool invocations. The environment variable '' | ||