diff options
| author | nitz <nitz@users.noreply.github.com> | 2020-11-23 21:48:44 -0500 |
|---|---|---|
| committer | nitz <nitz@users.noreply.github.com> | 2020-11-23 21:48:44 -0500 |
| commit | cc0d7244b844d0565beadbd4c87f1900a079e0bd (patch) | |
| tree | 36e6a04cf079444fe6770612027a59b84d629717 /kernel/driver.cc | |
| parent | 949eb95593aec0753010289612d018c21ae46c5e (diff) | |
| download | yosys-cc0d7244b844d0565beadbd4c87f1900a079e0bd.tar.gz yosys-cc0d7244b844d0565beadbd4c87f1900a079e0bd.tar.bz2 yosys-cc0d7244b844d0565beadbd4c87f1900a079e0bd.zip | |
tcl -h message only if YOSYS_ENABLE_TCL defined.
Diffstat (limited to 'kernel/driver.cc')
| -rw-r--r-- | kernel/driver.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index 57ed7b8b4..b55f02837 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -267,9 +267,11 @@ int main(int argc, char **argv) printf("\n"); printf(" -s scriptfile\n"); printf(" execute the commands in the script file\n"); +#ifdef YOSYS_ENABLE_TCL printf("\n"); printf(" -c tcl_scriptfile\n"); printf(" execute the commands in the tcl script file (see 'help tcl' for details)\n"); +#endif printf("\n"); printf(" -p command\n"); printf(" execute the commands\n"); |