diff options
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"); |