From: N. Engelhardt <nak@symbioticeda.com>
Date: Wed, 18 Dec 2019 11:30:30 +0000 (+0100)
Subject: use extra_args
X-Git-Tag: working-ls180~919^2~1^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3671ecc7d0b3792c61ceee858435b3b75ad4739c;p=yosys.git

use extra_args
---

diff --git a/passes/cmds/scratchpad.cc b/passes/cmds/scratchpad.cc
index 805badc7e..7ec55b78e 100644
--- a/passes/cmds/scratchpad.cc
+++ b/passes/cmds/scratchpad.cc
@@ -122,9 +122,9 @@ struct ScratchpadPass : public Pass {
 					log_error("Assertion failed: scratchpad entry '%s' is defined\n", identifier.c_str());
 				continue;
 			}
-			log("Unrecognized argument: %s\n", args[argidx].c_str());
 			break;
 		}
+		extra_args(args, argidx, design, false);
 	}
 } ScratchpadPass;
 PRIVATE_NAMESPACE_END