Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next 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 36: | Line 36: | ||
* '' | * '' | ||
* '' | * '' | ||
- | | + | * '' |
+ | * '' | ||
+ | * '' | ||
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 '' | ||