From cc0d7244b844d0565beadbd4c87f1900a079e0bd Mon Sep 17 00:00:00 2001 From: nitz Date: Mon, 23 Nov 2020 21:48:44 -0500 Subject: [PATCH] tcl -h message only if YOSYS_ENABLE_TCL defined. --- kernel/driver.cc | 2 ++ 1 file changed, 2 insertions(+) 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"); -- 2.30.2