Fix verific -vlog-incdir and -vlog-libdir handling
authorClifford Wolf <clifford@clifford.at>
Mon, 16 Jul 2018 16:46:06 +0000 (18:46 +0200)
committerClifford Wolf <clifford@clifford.at>
Mon, 16 Jul 2018 16:47:42 +0000 (18:47 +0200)
commit5041ed2f7df1e932eed6bc4ad38fb0f0973700af
tree29acc06129f5c3cbdc7e7472d70a59ca82545157
parent3b79a2e3dc74c8eb3065f39dc2e49a794be4bd0b
Fix verific -vlog-incdir and -vlog-libdir handling

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/verific/verific.cc