Replace -ignore_redef with -[no]overwrite
authorClifford Wolf <clifford@clifford.at>
Thu, 3 May 2018 13:25:59 +0000 (15:25 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 3 May 2018 13:25:59 +0000 (15:25 +0200)
commita572b495387743a58111e7264917a497faa17ebf
tree103a3523b1868e31ec88d9b56ceb750f824bf487
parente060375f23d56b4e330a946d5a626f0163499618
Replace -ignore_redef with -[no]overwrite

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/ast/ast.cc
frontends/ast/ast.h
frontends/liberty/liberty.cc
frontends/verilog/verilog_frontend.cc
passes/techmap/techmap.cc