From 31f39a39dffbdb810b18721bece5c233b91577eb Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@cs.berkeley.edu>
Date: Thu, 3 Mar 2016 10:49:57 -0800
Subject: [PATCH] Undo accidental Makefile modification

---
 isa/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isa/Makefile b/isa/Makefile
index d267812..d5b0b76 100644
--- a/isa/Makefile
+++ b/isa/Makefile
@@ -18,7 +18,7 @@ default: all
 # Build rules
 #--------------------------------------------------------------------
 
-RISCV_PREFIX ?= riscv64-unknown-linux-gnu-
+RISCV_PREFIX ?= riscv64-unknown-elf-
 RISCV_GCC ?= $(RISCV_PREFIX)gcc
 ENTROPY ?= -DENTROPY=$(shell echo $$$$)
 RISCV_GCC_OPTS ?= $(ENTROPY) -static -mcmodel=medany -fvisibility=hidden -nostdlib -nostartfiles
-- 
2.30.2