From 86db565a21719d7521d8db1a9c5c6dabd3ca71be Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Tue, 14 Dec 2010 18:08:41 -0500
Subject: [PATCH] Fix extra / in binary name

---
 bin/verilator | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/verilator b/bin/verilator
index 2e748ffdb..318eef7d3 100755
--- a/bin/verilator
+++ b/bin/verilator
@@ -116,7 +116,7 @@ sub verilator_bin {
     my $basename = ($ENV{VERILATOR_BIN}
 		    || ($Debug ? "verilator_bin_dbg" : "verilator_bin"));
     if (defined($ENV{VERILATOR_ROOT})) {
-	my $dir = $ENV{VERILATOR_ROOT}."/";
+	my $dir = $ENV{VERILATOR_ROOT};
 	if (-x "$basename") {
 	    $bin = $basename;
 	} elsif (-x "$dir/bin/$basename") {  # From a "make install" into VERILATOR_ROOT