From c5903b14bbb96fa458ef572e05ff067553b668d6 Mon Sep 17 00:00:00 2001
From: David Harris <david_harris@hmc.edu>
Date: Mon, 20 Dec 2021 21:14:35 -0800
Subject: [PATCH] Renamed to setup.sh and fixed path bug

---
 wally-setup.sh => setup.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 rename wally-setup.sh => setup.sh (97%)

diff --git a/wally-setup.sh b/setup.sh
similarity index 97%
rename from wally-setup.sh
rename to setup.sh
index 00e359437..fb132f9f3 100644
--- a/wally-setup.sh
+++ b/setup.sh
@@ -15,7 +15,7 @@ export LD_LIBRARY_PATH=$RISCV/riscv-gnu-toolchain/lib:$RISCV/riscv-gnu-toolchain
 export PATH=$RISCV/riscv-gnu-toolchain/bin:$RISCV/riscv-gnu-toolchain/riscv64-unknown-elf/bin:$PATH       # GCC tools
 # Spike
 export LD_LIBRARY_PATH=$RISCV/lib:$LD_LIBRARY_PATH
-export PATH=$RISCV/bin:$LD_LIBRARY_PATH
+export PATH=$RISCV/bin:$PATH
 # exe2memfile
 export PATH=~/riscv-wally/bin:$PATH    # exe2memfile; change this if riscv-wally isn't at your home directory
 # Verilator