From 74ca9578ed0a303a2c97bef820d16630e39f7a53 Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Fri, 25 Jul 2008 16:30:18 -0400
Subject: [PATCH] VERILATOR_BIN envvar should override adding _dbg to program
 name

---
 bin/verilator | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/verilator b/bin/verilator
index 7dd2be4aa..4bcb4ea71 100755
--- a/bin/verilator
+++ b/bin/verilator
@@ -100,8 +100,8 @@ sub verilator_bin {
     my $bin = "";
     # Use VERILATOR_ROOT if defined, else assume verilator_bin is in the search path
     $bin .= $ENV{VERILATOR_ROOT}."/" if defined($ENV{VERILATOR_ROOT});
-    $bin .= ($ENV{VERILATOR_BIN}||"verilator_bin");
-    if ($Debug) { $bin = "${bin}_dbg"; }
+    $bin .= ($ENV{VERILATOR_BIN}
+	     || ($Debug ? "verilator_bin_dbg" : "verilator_bin"));
     return $bin;
 }