tcl -h message only if YOSYS_ENABLE_TCL defined.

diff --git a/kernel/driver.cc b/kernel/driver.cc
index 57ed7b8b45292c2b75e195baf234c127dd65878c..b55f0283709d243814299f9651eadeeae8cb6d62 100644 (file)
--- 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");